|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 14 keywords
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
191 | Peter H. Welch, Jo R. Aldous, Jon Foster |
CSP Networking for Java (JCSP.net). ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 695-708, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
69 | Letu Yang, Michael Poppleton |
Automatic Translation from Combined B and CSP Specification to Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 64-78, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Christopher H. Nevison |
Teaching Distributed and Parallel Computing with Java and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia, pp. 484-491, 2001, IEEE Computer Society, 0-7695-1010-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
60 | Peter H. Welch, Jo R. Aldous, Jon Foster |
JCSP.net - A Network Extension for JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 1, pp. 318-324, 2002, CSREA Press, 1-892512-87-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
59 | Peter H. Welch, Jeremy M. R. Martin |
A CSP Model for Java Multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000, pp. 114-122, 2000, IEEE Computer Society, 0-7695-0634-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 320-340, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 312-316, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Yicheng Gao, Giuliano Casale |
JCSP: Joint Caching and Service Placement for Edge Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04575, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Yicheng Gao, Giuliano Casale |
JCSP: Joint Caching and Service Placement for Edge Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: 30th IEEE/ACM International Symposium on Quality of Service, IWQoS 2022, Oslo, Norway, June 10-12, 2022, pp. 1-10, 2022, IEEE, 978-1-6654-6824-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MISS@AOSD ![In: Proceedings of the 1st workshop on Modularity in systems software, MISS@AOSD 2011, Porto de Galinhas, Brazil, March 22, 2011, pp. 7-11, 2011, ACM, 978-1-4503-0647-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Jon M. Kerridge |
Experiments in Multicore and Distributed Parallel Processing using JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 131-142, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011, pp. 143-156, 2011, IOS Press, 978-1-60750-773-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 22(8), pp. 1049-1062, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 363-373, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Kevin Chalmers, Jon M. Kerridge, Imed Romdhani |
A Critique of JCSP Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008, pp. 271-291, 2008, IOS Press, 978-1-58603-907-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kevin Chalmers |
Introducing JCSP Networking 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008, pp. 451, 2008, IOS Press, 978-1-58603-907-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Anna Magdalena Kosek, Jon M. Kerridge, Aly A. Syed |
Modelling a Multi-Core Media Processor Using JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008, pp. 431-443, 2008, IOS Press, 978-1-58603-907-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kevin Chalmers, Jon M. Kerridge, Imed Romdhani |
Mobility in JCSP: New Mobile Channel and Mobile Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007, pp. 163-182, 2007, IOS Press, 978-1-58603-767-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
30 | Peter H. Welch, Neil Brown 0001, James Moores, Kevin Chalmers, Bernhard H. C. Sputh |
Integrating and Extending JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007, pp. 349-370, 2007, IOS Press, 978-1-58603-767-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
30 | Kevin Chalmers, Sarah Clayton |
CSP for .NET Based on JCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 59-76, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
30 | Kevin Chalmers, Jon M. Kerridge, Imed Romdhani |
Performance Evaluation of JCSP Micro Edition: JCSPme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 31-40, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
30 | Shyam Kumar, Gardiner S. Stiles |
A JCSP.net Implementation of a Massively Multiplayer Online Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006, pp. 135-149, 2006, IOS Press, 978-1-58603-671-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
30 | Kevin Chalmers, Jon M. Kerridge |
jcsp.mobile: A Package Enabling Mobile Processes and Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 109-127, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
30 | Bernhard H. C. Sputh, Alastair R. Allen |
JCSP-Poison: Safe Termination of CSP Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 71-107, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
30 | Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt |
Verification of JCSP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005, pp. 203-218, 2005, IOS Press, 978-1-58603-561-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
23 | Angela F. Freitas, Ana Cavalcanti 0001 |
Automatic Translation from Circus to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 115-130, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Formal development of industrial-scale systems in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 1(2), pp. 125-146, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 11-13 October 2002, Fort Worth, TX, USA, pp. 143-150, 2002, IEEE Computer Society, 0-7695-1853-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|