A process-oriented architecture for complex system modelling

Concurrent Systems Engineering Series

Volumn 65, Issue , 2007, Pages 249-266

  Ritson, Carl G ^a   Welch, Peter H ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Complex systems; Concurrency; CSP; Occam pi

Indexed keywords

BLOOD SUBSTITUTES; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEM RECOVERY; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; PLATELETS; THEOREM PROVING;

COMPLEX SYSTEM MODELLING; NANITE ASSEMBLERS; PROCESS ORIENTED ARCHITECTURES; TUNA PILOT STUDY;

LARGE SCALE SYSTEMS;

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

References (23)

1. 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.
2. The occam-pi programming language, June 2006. Available at: http://www.occam-pi.org/.
3. S. Stepney, P.H. Welch, F.A.C. Pollack, J.C.P. Woodcock, S. Schneider, H.E. Treharne, 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.
4. 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.
5. S. Schneider, A. Cavalcanti, H. Treharne, and J. Woodcock. A Layered Behavioural Model of Platelets. In Michael G. Hinchey, editor, ICECCS-2006, pages 98-106, Stanford, California, August 2006. IEEE.
6. S. Stepney, H.R. Turner, and F.A.C. Polack. Engineering Emergence (Keynote Talk). In Michael G. Hinchey, editor, ICECCS-2006, pages 89-97, Stanford, California, August 2006. IEEE.
7. F. Polack, S. Stepney, H. Turner, P.H. Welch, and F.R.M.Barnes. An Architecture for Modelling Emergence in CA-Like Systems. In Mathieu S. Capcarrère, Alex Alves Freitas, Peter J. Bentley, Colin G. Johnson, and Jon 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, September 2005. Springer. ISBN: 3-540-28848-1.
8. C. Ritson and P.H.Welch. TUNA: 3D Blood Clotting, 2006. https://www.cs.kent.ac.uk/research/groups/sys/wiki/3D_Blood_Clotting/.
9. A.T. Sampson. TUNA Demos, January 2005. Available at: https://www.cs.kent.ac.uk/research/groups/sys/wiki/TUNADemos/.
10. 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, 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.
11. J.M.R. Martin and P.H.Welch. A Design Strategy for Deadlock-free Concurrent Systems. Transputer Communications, 3(4):215-232, October 1996.
12. F.R.M. Barnes and P.H. Welch. Prioritised dynamic communicating and mobile processes. IEE Proceedings - Software, 150(2):121-136, April 2003.
13. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes - parts I and II. Journal of Information and Computation, 100:1-77, 1992. Available as technical report: ECS-LFCS-89-85/86, University of Edinburgh, UK.
14. F.R.M. Barnes, P.H. Welch, and A.T. Sampson. Barrier synchronisations for occam-pi. In Hamid R. Arabnia, editor, Parallel and Distributed Processing Techniques and Applications - 2005, pages 173-179, Las Vegas, Nevada, USA, June 2005. CSREA press. ISBN: 1-932415-58-0.
15. 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. IOS Press, September 2005. ISBN: 1-58603-561-4.
16. Hemostatis. URL: http://en.wikipedia.org/wiki/Haemostatis.
17. Fibrin. URL: http://en.wikipedia.org/wiki/Fibrin.
18. Disorders of Coagulation and Haemostasis. Available at: http://www.surgical-tutor.org.uk/ default-home. htm?core/preop2/clott ing.%htm.
19. J. Griffin, S. Arif, and A. Mufti. Immunology and Haematology (Crash Course) 2nd Edition. CV. Mosby, July 2003. ISBN: 0-7234-3292-9.
20. W. Schroeder, K. Martin, and B. Lorensen. The Visualisation ToolKit. Kitware, 2002.
21. D.J. Dimmich and CL. Jacobsen. A Foreign Function Interface Generator for occam-pi. In J.F. Broenink et al., editor, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 235-248. IOS Press, September 2005. ISBN: 1-58603-561-4.
22. M. Schweigler and A.T. Sampson, pony - The occam-pi Network Environment. In Communicating Process Architectures 2006, Amsterdam, The Netherlands, September 2006. IOS Press.
23. I.V. Pivkin, P.D. Richardson, and G. Karniadakis. Blood flow velocity effects and role of activation delay time on growth and form of platelet thrombi. Proceedings of the National Academy of Science, 103(46):17164-17169, October 2006.