Title :
π-calculus semantics for the concurrent configuration language Darwin
Author :
Eisenbach, Susan ; Paterson, Ross
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Abstract :
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 π-calculus, a formalism for modeling concurrent processes. The match between underlying models for Darwin and π-calculus is good. An example to demonstrate each language is developed. This is followed by a formal semantics of Darwin in the calculus
Keywords :
parallel languages; parallel programming; π-calculus semantics; concurrent configuration language Darwin; distributed programs; formal semantics; modeling concurrent processes; parallel programs; Calculus; Computer languages; Concurrent computing; Distributed computing; Educational institutions; Formal languages; Formal specifications; Large-scale systems; Mobile computing; Specification languages;
Conference_Titel :
System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-3230-5
DOI :
10.1109/HICSS.1993.284080
