Abstract
Darwin is a programming system for the development of distributed and parallel programs. Darwin programs consist of three parts. Firstly, there is a configuration part which provides a hierarchical structure of components with dynamic binding. Secondly, there is the actual communication part which provides the interaction and synchronisation required by the system. Finally, there is the computation part providing the component programs written in C++. The subdivision of concurrent programs into organisation, communication and computation leads to programs that are easy to specify, compile and execute. In order to specify precisely the behaviour of Darwin programs, we translate the organisation and communication into the π-calculus, a formalism for modelling concurrent processes. The π-calculus specification enables us to deduce behavioural properties of Darwin programs.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
H.P. Barendregt, M.C.J.D van Eekelen, J.R.W.Glautt, J.R. Kennaway, M.J. Plasmeijer, and M.R.Sleep. Term graph rewriting. In PARLE'87 Proceedings, 1987.
N. Dulay. The Darwin configuration language. Imperial College Department of Computing Internal Report, March 1992.
S. Eisenbach and R. Patterson, π-calculus semantics for the concurrent configuration language darwin. In Proceedings of the 26th Annual Hawaii International Conference on System Sciences, volume 2. IEEE Computer Society Press, 1993.
M.S. Sloman J. Kramer, J. Magee and N. Dulay. Configuring object based distributed programs in rex. In IEE Software Engineering Journal, March 1992.
N. Dulay J. Magee and J. Kramer. Structuring parallel and distributed programs. In Proceeding of IEE International Workshop on Configuring Distributed Systems, March 1992.
J. Kramer J. Magee and M. Sloman. Constructing distributed programs in conic. IEEE Transactions on Software Engineering, 15, 1989.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
R. Milner. The polyadic π-calculus: a tutorial. Technical Report ECS-LFCS 91-180, University of Edinburgh, October 1991.
J. Magee, J. Kramer, and N. Dulay. Darwin/mp: An environment for parallel and distributed programming. In Proceedings of the 26th Annual Hawaii International Conference on System Sciences, volume 2. IEEE Computer Society Press, 1993.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part i and ii. Technical Report ECS-LFCS 89-86/87, University of Edinburgh, 1989.
D. Walker. π-calculus semantics of object-oriented programming languages. In Conference on Theoretical Aspects of Computer Software, Tohoku University, Japan, September 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Radestock, M., Eisenbach, S. (1994). What do you get from a π-calculus semantics?. In: Halatsis, C., Maritsas, D., Philokyprou, G., Theodoridis, S. (eds) PARLE'94 Parallel Architectures and Languages Europe. PARLE 1994. Lecture Notes in Computer Science, vol 817. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58184-7_137
Download citation
DOI: https://doi.org/10.1007/3-540-58184-7_137
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58184-0
Online ISBN: 978-3-540-48477-6
eBook Packages: Springer Book Archive