Integrating and extending JCSP

Concurrent Systems Engineering Series

Volumn 65, Issue , 2007, Pages 349-370

  Welch, Peter ^a   Brown, Neil ^a   Moores, James ^b   Chalmers, Kevin ^c   Sputh, Bernhard ^d  

^a UNIVERSITY OF KENT   (United Kingdom)

^b Napier University ^*  (United Kingdom)

^c EDINBURGH NAPIER UNIVERSITY   (United Kingdom)

^d UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Alting barriers; Extended rendezvous; JCSP; Output guards; Poison

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER NETWORKS; DIGITAL LIBRARIES; SEMANTICS; SYNCHRONIZATION;

ALTING BARRIERS; EXTENDED RENDEZVOUS; LGPL OPEN SOURCE; OUTPUT GUARDS;

JAVA PROGRAMMING LANGUAGE;

EID: 34948870891     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (37)

1. P.H. Welch and P.D. Austin. The JCSP (CSP for Java) Home Page, 1999. Available at: http://www.cs.kent.ac.uk/projects/ofa/jcsp/.
2. P.H.Welch. Process Oriented Design for Java: Concurrency for All. In H.R.Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), volume 1, pages 51-57. CSREA, CSREA Press, June 2000.
3. P.H. Welch, J.R. Aldous, and J. Foster. CSP networking for java (JCSP.net). In P.M.A. Sloot, C.J.K. Tan, J.J. Dongarra, and A.G. Hoekstra, editors, Computational Science - ICCS 2002, volume 2330 of Lecture Notes in Computer Science, pages 695-708. Springer-Verlag, April 2002. ISBN: 3-540-43593-X. See also: http://www.cs.kent.ac.uk/pubs/2002/1382.
4. P.H. Welch and B. Vinter. Cluster Computing and JCSP Networking. In James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, WoTUG-25, Concurrent Systems Engineering, pages 213-232, IOS Press, Amsterdam, The Netherlands, September 2002. ISBN: 1-58603-268-2.
5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
6. R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, 1999. ISBN-10: 0521658691, ISBN-13: 9780521658690.
7. P.H. Welch and F.R.M. Barnes. Communicating mobile processes: introducing occam-pi. In A.E. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, April 2005.
8. F.R.M. Barnes, P.H. Welch, and A.T. Sampson. Barrier synchronisation for occam-pi. In Hamid R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '05), pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA Press.
9. F.R.M. Barnes, occam-pi: blending the best of CSP and the pi-calculus, http://www.occam-pi.org/, 10 February 2007.
10. The occam-pi programming language, June 2006. Available at: http://www.occam-pi.org/.
11. J.F. Broenink, A.W.P. Bakkers, and G.H. Hilderink. Communicating Threads for Java. In Barry M. Cook, editor, Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems, pages 243-262, 1999.
12. N.C.C. Brown and P.H. Welch. An Introduction to the Kent C++CSP Library. In Jan F. Broenink and Gerald H. Hilderink, editors, Communicating Process Architectures 2003, pages 139-156, 2003.
13. B. Orlic, and J.F. Broenink. Redesign of the C++ Communicating Threads Library for Embedded Control Systems. In F. Karelse STW, editor, 5th Progress Symposium on Embedded Systems, pages 141-156, 2004.
14. A. Lehmberg and M.N. Olsen. An Introduction to CSP.NET. In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 13-30, 2006.
15. K. Chalmers and S. Clayton. CSP for .NET Based on JCSP. In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 59-76, 2006.
16. Formal Systems (Europe) Ltd., 3, Alfred Street, Oxford. OX1 4EH, UK. FDR2 User Manual, May 2000.
17. P.H. Welch and J.M.R. Martin. Formal Analysis of Concurrent Java Systems. In Peter H. Welch and Andre W. P. Bakkers, editors, Communicating Process Architectures 2000, pages 275-301, 2000.
18. WoTUG: Java Threads Workshop, 1996. Available at: http://wotug.ukc.ac.uk/ parallel/groups/wotug/java/.
19. P.H.Welch. Java Threads in the Light of occam/CSP. In P.H.Welch and A.W.P.Bakkers, editors, Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering Series, pages 259-284, Amsterdam, April 1998. WoTUG, IOS Press.
20. P. Austin. JCSP: Early Access, 1997. Available at: http://www.cs.kent.ac. uk/projects/ofa/jcsp0-5/.
21. P.H. Welch and F.R.M. Barnes. Mobile Barriers for occam-pi: Semantics, Implementation and Application. In J.F. Broenink, H.W. Roebbers, J.P.E. Sunter, P.H. Welch, and D.C Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 289-316, Amsterdam, The Netherlands, September 2005. IOS Press. ISBN: 1-58603-561-4.
22. A.A. McEwan. Concurrent Program Development. DPhil thesis, The University of Oxford, 2006.
23. P.H. Welch. A Fast Resolution of Choice between Multiway Synchrnoisations (Invited Talk). In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 389-390, 2006.
24. P.H. Welch, F.R.M. Barnes, and F.A.C. Polack. Communicating complex systems. In Michael G Hinchey, editor, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pages 107-117, Stanford, California, August 2006. IEEE. ISBN: 0-7695-2530-X.
25. P.H. Welch. TUNA: Multiway Synchronisation Outputs, 2006. Available at: http://www.cs.york.ac.uk/nature/tuna/outputs/mm-sync/.
26. P.H. Welch. JCSP: AltingBarrier Documentation, 2006. Available at: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/jcsp/1%ang/ AltingBarrier.html.
27. F.R.M. Barnes. Compiling CSP. In P.H. Welch, J. Kerridge, and F.R.M. Barnes, editors, Proceedings of Communicating Process Architectures 2006 (CPA-2006), volume 64 of Concurrent Systems Engineering Series, pages 377-388. IOS Press, September 2006.
28. F.R.M. Barnes and P.H. Welch. Prioritised Dynamic Communicating Processes - Part I. In James Pascoe, Roger Loader, and Vaidy Sunderam, editors, Communicating Process Architectures 2002, pages 321-352, 2002.
29. N.C.C. Brown. C++CSP2. http://www.cppcsp.net/, 10 February 2007.
30. P.H. Welch. Graceful Termination - Graceful Resetting. In Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, pages 310-317, Enschede, Netherlands, April 1989. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 007 3.
31. G.H. Hilderink. Poison, 2001. Available at: http://occam-pi.org/list- archives/java-threads/msg00528.html.
32. B.H.C Sputh and A.R. Allen. JCSP-Poison: Safe Termination of CSP Process Networks. In Communicating Process Architectures 2005, 2005.
33. N.C.C. Brown. Rain: A New Concurrent Process-Oriented Programming Language. In Frederick R. M. Barnes, Jon M. Kerridge, and Peter H. Welch, editors, Communicating Process Architectures 2006, pages 237-252, 2006.
34. N.C.C. Brown. C++CSP Networked. In Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, and Peter H. Welch, editors, Communicating Process Architectures 2004, pages 185-200, 2004.
35. B.H.C. Sputh. Software Defined Process Networks. PhD thesis, University of Aberdeen, August 2006. Initial submission.
36. N.C.C. Brown. C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, 2007.
37. C. Ritson and P.H. Welch. A Process-Oriented Architecture for Complex System Modelling. In Alistair A. McEwan, Steve Schneider, Wilson Ifill, and Peter Welch, editors, Communicating Process Architectures 2007, volume 65 of Concurrent Systems Engineering Series, 2007.