Modeling coordination via asynchronous communication

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1282, Issue , 1997, Pages 238-255

  Brogi, Antonio ^a   Jacquet, Jean Marie ^b  

^a UNIVERSITY OF PISA   (Italy)

^b Institut d'Informatique   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

ASYNCHRONOUS COMMUNICATION; COMPOSITION OPERATORS; COORDINATION LANGUAGE; DENOTATIONAL SEMANTICS; ESSENTIAL FEATURES; OPERATIONAL SEMANTICS; PROGRAM EQUIVALENCE; THEORETICAL STUDY;

SEMANTICS;

EID: 84957045874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63383-9_84     Document Type: Conference Paper

References (9)

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.
2. N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444–458, 1989.
3. N. Carriero and D. Gelernter. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97–107, 1992.
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.
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. 2nd Int. Conf. on Concurrency Theory (Concur'91), volume 527 of Lecture Notes in Computer Science, pages 111–126, Amsterdam, The Netherlands, 1991. Springer-Verlag.
6. 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.
7. R. Milner. A Calculus of communucating systems.Springer-Verlag, 1980.
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.
9. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University, 1981.