Modeling coordination via asynchronous communication
- 98 Downloads
The paper proposes a theoretical study of coordination languages. A language that embodies the essential features of coordination languages is considered. The language includes Linda's asynchronous communication primitives, as well as several composition operators. Computations in this language are described by means of an operational semantics, reporting the whole traces of executions. The non-compositionality of this intuitive operational semantics motivates the design of a compositional and fully abstract denotational semantics, can be exploited for studying program equivalence in this setting.
KeywordsComposition Operator Operational Semantic Atomic Agent Parallel Composition Asynchronous Communication
Unable to display preview. Download preview PDF.
- 1.S. Brookes. Full Abstraction for a Shared-Variable Parallel Language. In Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pages 98–109, Montreal, Canada, June 1993. IEEE Computer Society Press.Google Scholar
- 4.P. Ciancarini and C. Hankin, editors. Proceedings of The First International Conference on Coordination Models and Languages, number 1061 in LNCS. Springer-Verlag, 1996.Google Scholar
- 5.F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The Failure of Failures in a Paradigm of Asynchronous Communication. In J.C.M. Baeten and J.F. Groote, editors, Proc. 2 nd Int. Conf. on Concurrency Theory (Concur'91), volume 527 of Lecture Notes in Computer Science, pages 111–126, Amsterdam, The Netherlands, 1991. Springer-Verlag.Google Scholar
- 7.R. Milner. A Calculus of communucating systems. Springer-Verlag, 1980.Google Scholar
- 8.R. De Nicola and R. Pugliese. A process algebra based on Linda. In P. Ciancarini and C. Hankin, editors, COORDINATION 96, number 1061 in LNCS. Springer-Verlag, 1996.Google Scholar
- 9.G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University, 1981.Google Scholar