Skip to main content
Article thumbnail
Location of Repository

What Do You Get From a-calculus Semantics?

By Matthias Radestock and Susan Eisenbach


Abstract. Darwin is a programming system for the development of distributed and parallel programs. Darwin programs consist of three parts. Firstly, there is a con guration part which provides a hierarchical structure of components with dynamic binding. Secondly, there is the actual communication part which provides the interaction and synchronisation required by the system. Finally, there is the computation part providing the component programs written in C++. The subdivision of concurrent programsinto organisation, communication and computation leads to programs that are easy to specify, compile and execute. In order to specify precisely the behaviour of Darwin programs, we translate the organisation and communication into the-calculus, a formalism for modelling concurrent processes. The-calculus speci cation enables us to deduce behavioural properties of Darwin programs.

Year: 2013
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.