Computing Publications

Publications Home » What do you get from a pi-calculu...

What do you get from a pi-calculus semantics?

Matthias Radestock, Susan Eisenbach

Conference or Workshop Paper
PARLE, Athens
1994
Abstract

Darwin is a programming system for the development of distributed and parallel programs. Darwin programs consist of three parts. Firstly, there is a configuration 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 programs into 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 pi-calculus, a formalism for modelling concurrent processes. The pi-calculus specification enables us to deduce behavioural properties of Darwin programs.

Keywords
Distributed Software Engineering
SLURP
PDF of full publication (239 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.