pi -calculus semantics for the concurrent configuration language Darwin
Open Access
- 31 December 1993
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. ii, 456-462
- https://doi.org/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 languagesKeywords
This publication has 4 references indexed in Scilit:
- Configuring object-based distributed programs in REXSoftware Engineering Journal, 1992
- π-Calculus semantics of object-oriented programming languagesPublished by Springer Nature ,1991
- The Vienna development methodPublished by Elsevier ,1990
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989