Skip to main content
Kent Academic Repository

Communicating Complex Systems

Welch, Peter H., Barnes, Frederick R.M., Polack, Fiona A.C. (2006) Communicating Complex Systems. In: Hinchey, Michael G., ed. Engineering of complex computer systems; ICECCS 2006; proceedings. . pp. 107-117. IEEE Computer Society ISBN 0-7695-2530-X. (KAR id:14440)


This paper outlines a new language and run-time technology offering formalised design and

effiecient implementation for highly concuurent dynamic systems. It is based on a careful combination

of ideas from Hoare’s CSP (giving compositional semantics, refinement and safety/liveness analysis) and

Milners’s pi-calculus (giving dynamic network construction and mobility). We have been experimenting

with systems developing as layered networks of self-organising neighbourhood-aware communicating

processes, with no need for advanced planning or centralised control. The work reported is part of

our TUNA (‘Theories Undepinning Nanite Assemblies’) project, in parnership with colleagues from

the Universities of York and Surry, which is investigating formal approaches to the capture of safe

emergent behaviour in highly complex systems. A particular study modelling artificial blood platelets

is described. The software technology scales to millions of processes per processor and distributes over

common multiprocssor clusters.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: occam-pi, concurrency, CSP, pi-calculus, complex
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:03 UTC
Last Modified: 16 Nov 2021 09:52 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Welch, Peter H..

Creator's ORCID:
CReDIT Contributor Roles:

Barnes, Frederick R.M..

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.