On the expressiveness of Linda-like concurrent languages

Electronic Notes in Theoretical Computer Science

Volumn 16, Issue 2, 1998, Pages 75-96

  Brogi, Antonio ^a   Jacquet, Jean Marie ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER SCIENCE; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

CONCURRENT LANGUAGES; PROCESS ALGEBRA; SEQUENTIAL LANGUAGES; SOFTWARE COMPONENTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 4544260769     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00118-5     Document Type: Conference Paper

References (22)

1. Banatre J., LeMetayer D. Programming by multiset transformation. Communications of the ACM. 36:(1):1991;98-111
2. Best E., de Boer F.S., Palamidessi C. Partial Order and SOS Semantics for Linear Constraint Programs. Garlan D., Le Metayer D. Coordination '97. 1997;LNCS
3. de Boer F.S., Palamidessi C. Embedding as a Tool for Language Comparison. Information and Computation. 108:(1):1994;128-157
4. F.S. de Boer and C. Palamidessi. Embedding as a tool for language comparison: On the CSP hierarchy. In J.C.M. Baeten and J.F. Groote, editors, Proc. of CONCUR 91, volume 527 of Lecture Notes in Computer Science, pages 127-141. Springer-Verlag, 1991.
5. N. Busi, R. Gorrieri and G. Zavattaro. On the Turing equivalence of Linda coordination primitives. In C. Palamidessi and J. Parrow (editors) EXPRESS 97: Proceedings of the 4th workshop on Expressiveness in Concurrency. Volume 7 of Electronic Notes in Theoretical Computer Science, 1997.
6. Busi N., Gorrieri R., Zavattaro G. A Process Algebraic View of Linda Coordination Primitives. Theoretical Computer Science. 192:(2):1998;167-199
7. Carriero N., Gelernter D. Linda in Context. Communications of the ACM. 32:(4):1989;444-458
8. P. Ciancarini, and C. Hankin (editors). Coordination'96: Proceedings of The First International Conference on Coordination Models and Languages. Number 1061 in LNCS. Springer-Verlag, 1996.
9. R. De Nicola, G. Ferrari and R. Pugliese. Coordinating mobile agents via blackboards and access rights. In D. Garlan and D. Le Metayer (editors). Coordination'97: Proceedings of The Second International Conference on Coordination Models and Languages, pages 220-237. LNCS. Springer-Verlag, 1997.
10. R. De Nicola, G. Ferrari and R. Pugliese. KLAIM: a kernel language for agents interaction and mobility. To appear in IEEE Trans. on Software Engineering, Special Issue on Mobility and Network Aware Computing (Catalin Roman and Ghezzi Eds), 1998.
11. D. Garlan, and D. Le Metayer (editors). Coordination'97: Proceedings of The Second International Conference on Coordination Models and Languages. LNCS. Springer-Verlag, 1997.
12. Gelernter D., Carriero N. Coordination Languages and Their Significance. Communications of the ACM. 35:(2):1992;97-107
13. M. Felleisen. On the expressive power of programming languages. In N. Jones (editor) "Proceedings European Symposium on Programming", LNCS 432, pages 134-151. Springer-Verlag, 1990.
14. Horita E., de Bakker J.W., Rutten J.J.M.M. Fully abstract denotational models for nonuniform concurrent languages. Information and computation. 115:(1):1994;125-178
15. Milner R. A Calculus of communicating systems. 1989;Springer-Verlag
16. Milner R. Elements of interaction. Communications of the ACM. 36:(1):1993;79-89
17. Nii H.P. Blackboard systems: The blackboard model of problem solving and the evolution of blackboard architecture, Part 1. AI Magazine. 7:(2):1986;38-53
18. Saraswat V.A. Concurrent Constraint Programming. 1993;The MIT Press
19. E.Y. Shapiro. Embeddings among concurrent programming languages. In W.R. Cleaveland (editor), "Proceedings of CONCUR'92", LNCS 630, pages 486-5-3. Springer-Verlag, 1992.
20. Wegner P. Why Interaction Is More Powerful Than Algorithms. Communications of the ACM. May 1997
21. G. Zavattaro. On the incomparability of Gamma and Linda. Personal communication, March 1998.
22. F. Vaandrager. Expressiveness results for process algebras. In "Proceedings REX workshop on 'Semantics: Foundations and applications'", LNCS. Springer-Verlag, 1992.