Pi-calculus semantics for the concurrent configuration language Darwin

117

IRUS Total
Downloads

Altmetric

File	Description	Size	Format
darwin-pi-calculus-semantics.pdf	Published version	480.11 kB	Adobe PDF	View/Open

Title:	Pi-calculus semantics for the concurrent configuration language Darwin
Authors:	Paterson, R Eisenbach, S
Item 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.
Issue Date:	31-Dec-1993
URI:	http://hdl.handle.net/10044/1/5680
Publisher Link:	http://dx.doi.org/10.1109/HICSS.1993.284080
DOI:	10.1109/HICSS.1993.284080
ISBN:	0-8186-3230-5
Publisher:	IEEE
Presented At:	26th Hawaii International Conference on System Sciences
Start Page:	456
End Page:	462
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.
Conference Location:	Hawaii, USA
Appears in Collections:	Distributed Software Engineering