Communicating complex systems

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2006, Pages 107-117

  Welch, Peter H ^a   Barnes, Frederick R M ^a   Polack, Fiona A C ^b  

^a UNIVERSITY OF KENT   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENT ENGINEERING; LARGE SCALE SYSTEMS; PLATELETS; SEMANTICS;

COMPOSITIONAL SEMANTICS; CONCURRENT DYNAMIC SYSTEMS; MULTIPROCESSING LANGUAGE; STATE TRANSFORMATION;

DYNAMICAL SYSTEMS;

EID: 34948883921     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. M. Aubury, I. Page, G. Randall, J. Saul, and R. Watts, hec: A Handel-C Compiler. Technical report, Oxford University Computing Laboratory, UK, Aug. 1996.
2. F. Barnes, D. Dimmich, C. Jacobsen, M. Jadud, A. Sampson, and P. Welch. The occam-pi Home Page, 2006. Available at: http://www.occam-pi.org/.
3. F. Barnes and P. Welch. Mobile Data, Dynamic Allocation and Zero Aliasing: an Occam Experiment. In A. Chalmers, M. Mirmehdi, and H. Muller, editors, Communicating Process Architectures 2001, volume 59 of Concurrent Systems Engineering, pages 243-264, Amsterdam, The Netherlands, Sept. 2001. WoTUG, IOS Press. ISBN: 1-58603-202-X.
4. F. Barnes and P. Welch. Prioritised dynamic communicating and mobile processes. IEE Proceedings - Software, 150(2):121-136, Apr. 2003.
5. F. Barnes, P. Welch, and A. Sampson. Barrier synchronisations for occam-pi. In H. R. Arabnia, editor, Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2005), pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA press. ISBN: 1-932415-58-0.
6. M. Butler. csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing, 12(3):182-198, Nov. 2000.
7. M. Calder, S. Gilmore, and J. Hillston. Modelling the Influence of RKIP on the ERK Signalling Pathway using the Stochastic Process Algebra PEPA. In Trabsactions on Computational Systems Biology, LNCS. Springer, 2006. to appear.
8. M. d'Inverno and R. Saunders. Agent-based Modelling of Stem-Cell Organisation in a Niche. In S. Bruekner, G. D. M. Serguendo, A. Karageorgos, and R. Nagpal, editors, Engineering Self-Organising Systems - Methodologies and Applications, volume 3464 of LNAI. Springer, 2005.
9. Formal Systems (Europe) Ltd., 3, Alfred Street, Oxford. OX1 4EH, UK. FDR2 User Manual, May 2000.
10. C. Hoare. Communicating Sequential Processes. Prentice-Hall, London, 1985. ISBN: 0-13-153271-5.
11. T. Hoare and H. Jifeng. Unifying Theories of Programming. Prentice Hall, Apr. 1998. ISBN: 0-134-58761-8.
12. G. Jones. On Guards. In T. Muntean, editor, 7th Occam Users Group & International Workshop on Parallel Programming of Transputer Based Machines, pages 15-24, Grenoble, 1987. IOS Press, The Netherlands.
13. J. Martin and P.H.Welch. A Design Strategy for Deadlockfree Concurrent Systems. Transputer Communications, 3(4):215-232, Oct. 1996.
14. J. M. Martin and Y. Huddart. Parallel Algorithms for Deadlock and Livelock Analysis of Concurrent Systems. In P. Welch and A. Bakkers, editors, Communicating Process Architectures, Proceedings of WoTUG 23, volume 58 of Concurrent Systems Engineering, pages 1-14, Amsterdam, the Netherlands, Sept. 2000. WoTUG, IOS Press. ISBN: 1-58603-077-9.
15. D.May. OCCAM. ACM SIGPLAN Notices, 18(4):69-79, Apr. 1983.
16. A. A. McEwan. Concurrent Program Development. DPhil thesis, The University of Oxford, Submitted Trinity Term 2006.
17. R. Milner. Communicating and Mobile Systems: the PiCalculus. Cambridge University Press, 1999. ISBN-10: 0521658691, ISBN-13: 9780521658690.
18. D. Noble. Oxford Cardiac Electrophysioogy Group - Home Page, 2006. Available at: http://noble.physiol.ox.ac.uk/.
19. F. Polack, S. Stepney, H. Turner, P. H. Welch, and F. R. Barnes. An Architecture for Modelling Emergence in CA-Like Systems. In M. S. Capcarrère, A. A. Freitas, P. J. Bentley, C. G. Johnson, and J. Timmis, editors, Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005), volume 3630 of Lecture Notes in Computer Science, pages 433-442, Canterbury, UK, Sept. 2005. Springer. ISBN: 3-540-28848-1.
20. A. Sampson, P. Welch, and F. 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, volume 63 of Concurrent Systems Engineering Series, pages 165-175, Amsterdam, The Netherlands, Sept. 2005. IOS Press. ISBN: 1-58603-561-4.
21. S. Schneider, A. Cavalcanti, H. Treharne, and J. Woodcock. Bloody CSP: A Layered Behavioural Model of Platelets. In Proceedings of ICECCS-2006, Sept. 2006.
22. S. Stepney, A. Cavalcanti, F. Polack, S. Schneider, H. Treharne, P. Welch, and J. Woodcock. TUNA: Theory underpinning nanotech assemblers (feasibility study), Jan. 2005. EP-SRC grant EP/C516966/1. Available from: http://www.cs.york.ac.uk/nature/tuna/index.htm.
23. S. Stepney, H. Turner, and F. Polack. Engineering Emergence. In Proceedings of ICECCS-2006, Sept. 2006.
24. P. Welch. Process Oriented Design for Java - Concurrency for All. In PDPTA 2000, volume 1, pages 51-57. CSREA Press, June 2000. ISBN: 1-892512-52-1.
25. P. Welch and P. Austin. The JCSP (CSP for Java) Home Page, 1999. Available at: http://www.cs.kent.ac.uk/projects/ofa/jcsp/.
26. P. Welch and F. Barnes. Communicating mobile processes: introducing occam-pi. In A. Abdallah, C. Jones, and J. Sanders, editors, 25 Years of CSP, volume 3525 of Lecture Notes in Computer Science, pages 175-210. Springer Verlag, Apr. 2005.
27. P. Welch and F. Barnes. Mobile Barriers for occam-pi: Semantics, Implementation and Application. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 289-316, Amsterdam, The Netherlands, Sept. 2005. IOS Press. ISBN: 1-58603-561-4.
28. P. Welch, G. Justo, and C. Willcock. Higher-Level Paradigms for Deadlock-Free High-Performance Systems. In R. Grebe, J. Hektor, S. Hilton, M. Jane, and P. 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.
29. J. Woodcock and A. 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.