Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Pi-calculus semantics for the concurrent configuration language Darwin
File(s)
Author(s)
Paterson, R
Eisenbach, S
Type
Conference Paper
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.
Date Issued
1993
Citation
1993, 2, pp.456-462
URI
URL
DOI
ISBN
0-8186-3230-5
Publisher
IEEE
Source Title
26th Hawaii International Conference on System Sciences
Start Page
456
End Page
462
Volume
2
Copyright Statement
© 1993 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
License URL
Source
26th Hawaii International Conference on System Sciences
Source Place
Hawaii, USA
Start Date
1993-01-05
Finish Date
1993-01-08
Coverage Spatial
Hawaii, USA