Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444–458, 1989.
N. Carriero and D. Gelernter. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97–107, 1992.
P. Ciancarini and C. Hankin, editors. Proceedings of The First International Conference on Coordination Models and Languages, number 1061 in LNCS. Springer-Verlag, 1996.
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.
E. Horita, J.W. de Bakker, and J.J.M.M. Rutten. Fully abstract denotational models for nonuiform concurrent languages. Information and computation, 115(1):125–178, 1994.
R. Milner. A Calculus of communucating systems. Springer-Verlag, 1980.
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.
G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brogi, A., Jacquet, JM. (1997). Modeling coordination via asynchronous communication. In: Garlan, D., Le Métayer, D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63383-9_84
Download citation
DOI: https://doi.org/10.1007/3-540-63383-9_84
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63383-9
Online ISBN: 978-3-540-69527-1
eBook Packages: Springer Book Archive