pi -calculus semantics for the concurrent configuration language Darwin
Susan Eisenbach, Ross Paterson · 2002
Darwin is a configuration language for distributed and parallel programs, providing a hierarchical structure of components with dynamic binding. To specify precisely the behavior of Darwin programs, the authors sketch a translation of the features of the language into the pi -calculus, a formalism for modeling concurrent processes. The match between underlying models for Darwin and pi -calculus is good. An example to demonstrate each language is developed. This is followed by a formal semantics of Darwin in the calculus.>