Search results for "JCSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
191	Peter H. Welch, Jo R. Aldous, Jon Foster	CSP Networking for Java (JCSP.net).	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
69	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
69	Christopher H. Nevison	Teaching Distributed and Parallel Computing with Java and CSP.	CCGRID	2001	DBLP DOI BibTeX RDF
60	Peter H. Welch, Jo R. Aldous, Jon Foster	JCSP.net - A Network Extension for JCSP.	PDPTA	2002	DBLP BibTeX RDF
59	Peter H. Welch, Jeremy M. R. Martin	A CSP Model for Java Multithreading.	PDSE	2000	DBLP DOI BibTeX RDF	race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock
53	Marcel Oliveira, Ana Cavalcanti 0001	From Circus to JCSP.	ICFEM	2004	DBLP DOI BibTeX RDF	concurrency, object-orientation, program development
46	Jo Ueyama, Edmundo Roberto Mauro Madeira, Paul Grace	FlexPar: Reconfigurable Middleware for Parallel Environments.	ISORC	2008	DBLP DOI BibTeX RDF
30	Yicheng Gao, Giuliano Casale	JCSP: Joint Caching and Service Placement for Edge Computing Systems.	CoRR	2022	DBLP DOI BibTeX RDF
30	Yicheng Gao, Giuliano Casale	JCSP: Joint Caching and Service Placement for Edge Computing Systems.	IWQoS	2022	DBLP DOI BibTeX RDF
30	José Elias Araújo, Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota 0001, Uirá Kulesza, Cláudio Sant'Anna	An annotation-based approach for JCSP concurrent programming: a quantitative study.	MISS@AOSD	2011	DBLP DOI BibTeX RDF
30	Jon M. Kerridge	Experiments in Multicore and Distributed Parallel Processing using JCSP.	CPA	2011	DBLP DOI BibTeX RDF
30	Anna Magdalena Kosek, Aly A. Syed, Jon M. Kerridge	Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems.	CPA	2011	DBLP DOI BibTeX RDF
30	Peter H. Welch, Neil Brown 0001, James Moores, Kevin Chalmers, Bernhard H. C. Sputh	Alting barriers: synchronisation with choice in Java using JCSP.	Concurr. Comput. Pract. Exp.	2010	DBLP DOI BibTeX RDF
30	Anna Magdalena Kosek, Jon M. Kerridge, Aly A. Syed, Alistair Armitage	JCSP Agents-Based Service Discovery for Pervasive Computing.	CPA	2009	DBLP DOI BibTeX RDF
30	Kevin Chalmers, Jon M. Kerridge, Imed Romdhani	A Critique of JCSP Networking.	CPA	2008	DBLP DOI BibTeX RDF
30	Kevin Chalmers	Introducing JCSP Networking 2.0.	CPA	2008	DBLP DOI BibTeX RDF
30	Anna Magdalena Kosek, Jon M. Kerridge, Aly A. Syed	Modelling a Multi-Core Media Processor Using JCSP.	CPA	2008	DBLP DOI BibTeX RDF
30	Kevin Chalmers, Jon M. Kerridge, Imed Romdhani	Mobility in JCSP: New Mobile Channel and Mobile Process Models.	CPA	2007	DBLP BibTeX RDF
30	Peter H. Welch, Neil Brown 0001, James Moores, Kevin Chalmers, Bernhard H. C. Sputh	Integrating and Extending JCSP.	CPA	2007	DBLP BibTeX RDF
30	Kevin Chalmers, Sarah Clayton	CSP for .NET Based on JCSP.	CPA	2006	DBLP BibTeX RDF
30	Kevin Chalmers, Jon M. Kerridge, Imed Romdhani	Performance Evaluation of JCSP Micro Edition: JCSPme.	CPA	2006	DBLP BibTeX RDF
30	Shyam Kumar, Gardiner S. Stiles	A JCSP.net Implementation of a Massively Multiplayer Online Game.	CPA	2006	DBLP BibTeX RDF
30	Kevin Chalmers, Jon M. Kerridge	jcsp.mobile: A Package Enabling Mobile Processes and Channels.	CPA	2005	DBLP BibTeX RDF
30	Bernhard H. C. Sputh, Alastair R. Allen	JCSP-Poison: Safe Termination of CSP Process Networks.	CPA	2005	DBLP BibTeX RDF
30	Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt	Verification of JCSP Programs.	CPA	2005	DBLP BibTeX RDF
23	Angela F. Freitas, Ana Cavalcanti 0001	Automatic Translation from Circus to Java.	FM	2006	DBLP DOI BibTeX RDF
23	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Formal development of industrial-scale systems in Circus.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Concurrency, Object-orientation, Refinement, Program development
23	Geraldo Pereira de Souza, Gerson Henrique Pfitscher	An Implementation of a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Based on the CSP Model and Java.	DS-RT	2002	DBLP DOI BibTeX RDF