Mobile barriers for occam-pi: Semantics, implementation and application

Concurrent Systems Engineering Series

Volumn 63, Issue , 2005, Pages 289-316

  Welch, Peter ^a   Barnes, Fred ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Barriers; CSP; Events; Mobility; Occam pi; Pi calculus; Processes

Indexed keywords

BENCHMARKING; COMPUTER SIMULATION; CONCURRENT ENGINEERING; PROGRAM PROCESSORS; SEMANTICS; SYNCHRONIZATION;

BARRIERS; COMMUNICATING SEQUENTIAL PROCESSES (CSP); DYNAMIC SYSTEMS; EVENTS; MOBILITY; OCCAM-PI; PI-CALCULUS; PROCESSES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33746325477     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. P.H. Welch and D.C. Wood. The Kent Relargetable occam Compiler. In Proceedings of WoTUG 19, pages 143-166. IOS Press, March 1996. ISBN: 90-5199-261-0.
2. P.H. Welch, J. Moores, F.R.M. Barnes, and D.C. Wood. The KRoC Home Page, 2000. Available at: http://www.cs.kent.ac.uk/projects/ofa/kroc/.
3. P.H. Welch and F.R.M. Barnes. Communicating mobile processes: introducing occam-pi. In A.B. Abdallah, C.B. Jones, and J.W. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Nines in Computer Science, pages 175-210. Springer Verlag, April 2005.
4. Frederick R.M. Barnes. Dynamics and Pragmatics for High Performance Concurrency. PhD thesis. University of Kent, June 2003.
5. F.R.M. Barnes and P.H. Welch. Prioritised dynamic communicating and mobile processes. IEE Proceedings-Software, 150(2):121-136, April 2003.
6. Inmos Limited, occam 2.1 Reference Manual. Technical report, Inmos Limited, May 1995. Available at: http://wotug.org/occam/.
7. R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, 1999. ISBN-10: 0521658691, ISBN-13: 9780521658690.
8. F.R.M. Barnes, P.H. Welch, and A.T. Sampson. Barrier synchronisations for occam-pi. In Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2005). CSREA press, June 2005.
9. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, London, 1985. ISBN: 0-13-153271-5.
10. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1997. ISBN: 0-13-674409-5.
11. L.G. Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8): 103-111, August 1990.
12. M. Schweigler. Adding Mobility to Networked Channel-Types. In Proceedings of Communicating Process Architectures 2001, pages 107-126, September 2004. ISBN: 1-58603-458-8.
13. S. Stepney, P.H. Welch, F.A.C. Pollack, J.C.P. Woodcock, S. Schneider, H.E. Trehame, and A.L.C. Cavalcanti. TUNA: Theory underpinning nanotech assemblers (feasibility study), January 2005. EPSRC grant EP/C516966/1. Available from: http://www.cs.york.ac.uk/nature/tuna/index.htm.
14. Peter H. Welch and David C. Wood. Higher Levels of Process Synchronisation. In Proceedings of WoTUG 20, pages 104-129. IOS Press, April 1997. ISBN: 90-5199-336-6.
15. D.C. Wood and J. Moores. User-Defined Data Types and Operators in occam. In Proceedings of WoTUG 22, pages 121-146. IOS Press, April 1999. ISBN: 90-5199-480-X.
16. M.D. Poole. Extended Transputer Code - a Target-Independent Representation of Parallel Programs. In Proceedings of WoTUG 21, pages 187-198. IOS Press, April 1998. ISBN: 90-5199-391-9.
17. A.T. Sampson, P.H. Welch, and F.R.M. Barnes. Lazy Simulation of Cellular Automata with Communicating Processes. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005. IOS Press, September 2005.
18. J.C.P. Woodcock and A.L.C. Cavalcanti. The Semantics of Circus. In ZB 2002: Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pages 184-203. Springer-Verlag, 2002.
19. F.R.M. Barnes and P.H. Welch. Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In Alan Chalmers, Majid Mirmehdi, and Henk Muller, editors. Communicating Process Architectures 2001, volume 59 of Concurrent Systems Engineering, pages 243-264, Amsterdam, The Netherlands, September 2001. WoTUG, IOS Press. ISBN: 1-58603-202-X.
20. P.H. Welch, G.R.R. Justo, and C.J. Willcock. Higher-Level Paradigms for Deadlock-Free High-Performance Systems. In R. Grebe, J. Hektor, S.C. Hilton, M.R. Jane, and P.H. Welch, editors, Transputer Applications and Systems '93, Proceedings of the 1993 World Transputer Congress, volume 2, pages 981-1004, Aachen, Germany, September 1993. IOS Press, Netherlands. ISBN 90-5199-140-1. See also: http://www.cs.kent.ac.uk/pubs/1993/279.
21. 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.
22. UKCRC. Grand Challenges for Computing Research, 2004. http://www.nesc.ac.uk/esi/events/Grand_Challenges/.
23. J.C.P. Woodcock. Dependable Systems Evolution, May 2004. Available from: http://www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/.
24. R. Sleep. In Vivo ⇔ In Silico: High fidelity reactive modelling of development and behaviour in plants and animals. May 2004. Available from: http://www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/.
25. S. Stepney. Journeys in Non-Classical Computation, May 2004. Available from: http://www.nesc.ac.uk/esi/events/Grand_Challenges/proposals/.