Computing Publications

Publications Home » Pi-calculus semantics for the con...

Pi-calculus semantics for the concurrent configuration language Darwin

Susan Eisenbach, Ross Paterson

Conference or Workshop Paper
26th Hawaii International Conference on System Sciences
January, 1993
Volume 2
pp.456–462
ISBN 0-8186-3230-5
DOI 10.1109/HICSS.1993.284080
Abstract

Darwin is a configuration language for distributed and parallel programs, providing a hierarchical structure of components with dynamic binding. In order to specify precisely the behaviour of Darwin programs, we sketch a translation of the features of the language into the pi-calculus, a formalism for modelling concurrent processes. The match between underlying models for Darwin and pi-calculus is good. Examples done in the calculus are clean abstractions of the same solutions in other concurrent languages.

Keywords
Distributed Software Engineering
SLURP
PDF of full publication (167 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.