On the expressiveness of coordination models

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

Volumn 1594, Issue , 1999, Pages 134-149

  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 SCIENCE; COMPUTERS;

COMMUNICATION PRIMITIVES; COORDINATION MODEL; DATA SPACE; EXPRESSIVE POWER; INTERPROCESS COMMUNICATION; LINDA COORDINATION MODEL; PRESENCE/ABSENCE; SECOND CLASS;

ARTIFICIAL INTELLIGENCE;

EID: 84957585910     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48919-3_11     Document Type: Conference Paper

References (29)

1. F. Arbab, I. Herman and P. Spilling. An overview of MANIFOLD and its implementation. Concurrency: practice and experience, 5(1): 23-70, 1993.
2. J.M. Andreoli and R. Pareschi. Linear Objects: logical processes with builtin inheritance. New Generation Computing, 9(3-4):445-473, 1991.
3. J. Banatre and D. LeMetayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98-111, 1991.
4. E. Best, F.S. de Boer and C. Palamidessi. Partial Order and SOS Semantics for Linear Constraint Programs. In [18].
5. M. Bonsangue, J. Kok, and G. Zavattaro. Comparing coordination models based on shared distributed replicated data. To appear in proc. of SAC'99.
6. A. Brogi and P. Ciancarini. The Concurrent Language Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1):99-123, January 1991.
7. A. Brogi and J.-M. Jacquet. On the Expressiveness of Linda-like Concurrent Languages. Electronic Notes in Theoretical Computer Science, 1998.
8. N. Busi, R. Gorrieri, and G. Zavattaro. On the Turing Equivalence of Linda Coordination Primitives. Electronic Notes in Theoretical Computer Science, 7, 1997.
9. N. Busi, R. Gorrieri, and G. Zavattaro. A Process Algebraic View of Linda Coordination Primitives. Theoretical Computer Science, 192(2): 167-199, 1998.
10. N. Carriero and D. Gelernter. Linda in Context. Communications of the ACM, 32(4):444-458, 1989.
11. N. Carriero, D. Gelernter and L. Zuck. Bauhaus Linda. In P. Ciancarini, O. Nier-strasz and A. Yonezawa (editors) Object based models and languages for concurrent systems, LNCS 924, pages 66-76, Springer-Verlag, 1994.
12. P. Ciancarini. Distributed programming with logic tuple spaces. New Generation Computing, 12(3):251-284, 1994.
13. P. Ciancarini and C. Hankin (editors). Coordination'96: First International Conference on Coordination Models and Languages. LNCS 1061. Springer-Verlag, 1996.
14. P. Ciancarini and D. Rossi. Jada: coordination and communication for Java agents. In Second Int. Workshop on mobile object systems, LNCS 1222, pages 213-228, Springer-Verlag, 1996.
15. F.S. de Boer and C. Palamidessi. Embedding as a Tool for Language Comparison. Information and Computation, 108(1):128-157, 1994.
16. R. De Nicola, G. Ferrari and R. Pugliese. KLAIM: a kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 1998.
17. M. Felleisen. On the Expressive Power of Programming Languages. In N. Jones, editor, Proc. ESOP'90, LNCS 432, pages 134-151. Springer-Verlag, 1990.
18. D. Garlan and D. Le Metayer (editors). Coordination'97: Second International Conference on Coordination Models and Languages. LNCS. Springer-Verlag, 1997.
19. D. Gelernter and N. Carriero. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97-107, 1992.
20. J.M. Jacquet and K. De Bosschere. On the Semantics of muLog. Future Generation Computer Systems Journak: l0, pages 93-135, Elsevier, 1994.
21. J.-M. Jacquet and L. Monteiro. Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. Computer Languages, 22(2-3):51-77, 1996.
22. G.A. Papadopolous and F. Arbab. Coordination models and languages. Advances in Computers, 48, Academic-Press, 1998.
23. A. Rowstron and A. Wood. BONITA: A set of tuple space primitives for distributed coordination. In 30th Hawaii Int. Conf. on System Sciences, IEEE Press, Vol. 1, pages 379-388, 1997.
24. V.A. Saraswat. Concurrent Constraint Programming. The MIT Press, 1993.
25. E.Y. Shapiro. Embeddings among Concurrent Programming Languages. In W.R. Cleaveland, editor, Proc. of CONCUR'92, pages 486-503. Springer-Verlag, 1992.
26. R. Tolksdorf. Coordinating services in open distributed systems with LAURA. In [13], pages 386-402.
27. P. Wegner. Why Interaction Is More Powerful Than Algorithms. Communications of the ACM, 1997.
28. G. Zavattaro. On the incomparability of Gamma and Linda. Technical report SEN-R9827, Department of Software Engineering, CWI, 1998.
29. G. Zavattaro. Towards a hierarchy of negative test operators for generative communication. Electronic Notes in Theoretical Computer Science, 16(2):83-100, 1998.