Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching

• Autorzy: Brogi A. , Jacquet J-M. , Linden I.
• Języki publikacji: EN

Abstrakty

EN

The paper proposes a theoretical study of a coordination language embodying Linda's asynchronous communication primitives with a refined matching mechanism based on pairs composed of attribute names associated with their values. 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.

Słowa kluczowe

EN

coordination language; semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 73, nr 4
• Strony: 431--478
• Opis fizyczny: bibliogr. 17 poz.

Twórcy

autor

Brogi A.

autor

Jacquet J-M.

autor

Linden I.

• Institute of Informatics, University of Namur, rue Grandgagnage 21, 5000 Namur, Belgium,

Bibliografia

• [1] F. Arbab and C.L. Talcott, editors. Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings, volume 2315 of Lecture Notes in Computer Science. Springer, 2002.
• [2] A. Brogi and J.-M. Jacquet. Modeling Coordination via Asynchronous Communication. In D. Garlan and D. LeMétayer, editors, Proceedings of the Second International Conference on Coordination Languages and Models, volume 1282 of Lecture Notes in Computer Science, pages 238-255, Berlin, Germany, 1997.
• [3] A. Brogi, J.-M. Jacquet, and I. Linden. On Modeling Coordination via Asynchronous Communication and Enhanced Matching. Electronic Notes in Theoretical Computer Science, 68(3), 2002.
• [4] 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.
• [5] N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444-458, 1989.
• [6] N. Carriero and D. Gelernter. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97-107, 1992.
• [7] P. Ciancarini and C. Hankin, editors. Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings, volume 1061 of Lecture Notes in Computer Science. Springer, 1996.
• [8] P. Ciancarini and A.L. Wolf, editors. Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings, volume 1594 of Lecture Notes in Computer Science. Springer, 1999.
• [9] J.W. de Bakker and E.P. de Vink. Control Flow Semantics. The MIT Press, 1996.
• [10] 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. 2th Int. Conf. on Concurrency Theory (Concur'91), volume 527 of Lecture Notes in Computer Science, pages 111-126, Amsterdam, The Netherlands, 1991. Springer-Verlag.
• [11] D. Garlan and D. Le Métayer, editors. Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings, volume 1282 of Lecture Notes in Computer Science. Springer, 1997.
• [12] E. Horita, J.W. de Bakker, and J.J.M.M. Rutten. Fully abstract denotationalmodels for nonuiform concurrent languages. Information and computation, 115(1):125-178, 1994.
• [13] R. Milner. A Calculus of communucating systems. Springer-Verlag, 1980.
• [14] R. De Nicola, G. Ferrari, and G. Meredith, editors. Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, volume 2949 of Lecture Notes in Computer Science. Springer, 2004.
• [15] 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.
• [16] G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Aarhus University, 1981.
• [17] A. Porto and G.-C. Roman, editors. Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings, volume 1906 of Lecture Notes in Computer Science. Springer, 2000.