Susan Eisenbach, Ross Paterson
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.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.