calculus semantics for the concurrent configuration language darwin (1993) [18 citations — 6 self]
Download:
|
|
by Susan Eisenbach, Ross Paterson
In Proceedings of the 26th Annual Hawaii International Conference on System Sciences
http://www-dse.doc.ic.ac.uk/dse-papers/darwin/formal.ps.Z
Add To MetaCart
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 ��-calculus, a formalism for modelling concurrent processes. The match between underlying models for Darwin and ��-calculus is good. Examples done in the calculus are clean abstractions of the same solutions in other concurrent languages.
Citations
| 2762 | Communication and Concurrency – Milner - 1989 |
| 886 | A Calculus of Mobile Processes – Milner, Parrow, et al. - 1992 |
| 316 | The polyadic -calculus: a tutorial – Milner - 1991 |
| 90 | Structuring parallel and distributed programs – Magee, Dulay - 1993 |
| 54 | Pi-Calculus Semantics of Object-Oriented Programming Languages – Walker - 1990 |
| 29 | A Formal Model for Module Interconnection Languages – Rice, Seidman - 1994 |
| 7 | The Darwin configuration language – Dulay - 1992 |
| 6 | Constructing distributed programs in conic – Magee, Sloman - 1989 |
| 5 | Configuring Object Based Distributed Programs in REX – Kramer, Magee, et al. - 1992 |
| 1 | The Vienna development method – Andrews - 1990 |
| 1 | MPP: Message passing Pascal – Dulay, Magee - 1991 |
| 1 | Out of the scullery – Peltu - 1992 |
