A process algebraic view of Linda coordination primitives

Theoretical Computer Science

Volumn 192, Issue 2, 1998, Pages 167-199

  Busi, Nadia ^a   Gorrieri, Roberta ^b   Zavattaro, Gianluigi ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Behavioral equivalences; Coordination languages; Process algebra; Semantics of Linda

Indexed keywords

EID: 0001810827     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00149-7     Document Type: Article

References (24)

1. R. Amadio, I. Castellani, D. Sangiorgi, On bisimulations for the asynchronous π-calculus, in: CONCUR'96, Lecture Notes in Computer Science, vol. 1119, Springer, Berlin, 1996, pp. 147-162.
2. G. Boudol, Asynchrony and the π-calculus, Tech. Report 1702, INRIA, Sophia-Antipolis, 1992.
3. N. Busi, R. Gorrieri, G. Zavattaro, A truly concurrent view of Linda interprocess communication, Tech. Report, Department of Computer Science, University of Bologna, UBLCS-97-02, 1997.
4. N. Busi, R. Gorrieri, G. Zavattaro, Three semantics of the output operation for asynchronous communication, in: Proc. Coordination'97, Lecture Notes in Computer Science, vol. 1286, Springer, Berlin, 1997, pp. 205-219.
5. F.S. De Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten, The failure of failures in a paradigm for asynchronous communication, in: Concur'91, Lecture Notes in Computer Science, vol. 527, Springer, Berlin, 1991, pp. 111-126.
6. T.S. De Boer, J.W. Klop, C. Palamidessi, Asynchronous communication in process algebra, in: LICS'92, IEEE Computer Society Press, Silver Spring, MD, 1992, pp. 137-159.
7. P. Ciancarini, R. Gorrieri, G. Zavattaro, Towards a calculus for generative communication, in: Proc. 1st IFIP Conf. on FMOODS'96, Chapman & Hall, London, 1996, pp. 283-297.
8. P. Ciancarini, K.K. Jensen, D. Yankelevich, On the operational semantics of a coordination language, in: Object-Based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science, vol. 924, Springer, Berlin, 1995, pp. 77-106.
9. R. Cleaveland, D. Yankelevich, An operational framework for value-passing processes, in: Proc. POPL'94, ACM Press, New York, 1994, pp. 326-338.
10. R. De Nicola, M.C.B. Hennessy, Testing equivalences for processes, Theoret. Comput. Sci. 34 (1984) 83-133.
11. R. De Nicola, R. Pugliese, An observational semantics for Linda, in: Proc. STRICT'95, Springer, Berlin, 1995, pp. 129-143.
12. R. De Nicola, R. Pugliese, A process algebra based on Linda, in: Proc. Coordination'96, Lecture Notes in Computer Science, vol. 1061, Springer, Berlin, 1996, pp. 160-178.
13. D. Gelernter, Generative communication in Linda, ACM Trans. Programming Languages Systems 7(1) (1985) 80-112.
14. J.F. Groote, Transition system specifications with negative premises, Theoret. Comput. Sci. 118 (1993) 263-299.
15. M. Hansen, J. Kleist, H. Hüttel, Bisimulations for asynchronous mobile processes, Tech. Report, Basic Research in Computer Science, BRICS RS-96-8, 1996.
16. K. Honda, M. Tokoro, An object calculus for asynchronous communication, in: ECOOP'91, Lecture Notes in Computer Science, vol. 512, Springer, Berlin, 1991, pp. 133-147.
17. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
18. R. Milner, J. Parrow, D. Walker, A calculus of mobile processes, Inform. Comput. 100(1) (1992) 1-77.
19. R. Milner, D. Sangiorgi, Barbed bisimulation, in: ICALP'92, Lecture Notes in Computer Science, vol. 623, Springer, Berlin, 1992, pp. 685-695.
20. M.L. Minsky, Computation: Finite and Infinite Machines, Prentice-Hall, Englewood Cliffs, NJ, 1967.
21. G. Plotkin, A structural approach to operational semantics, Tech. Report, University of Aarhus, DAIMI FN-19, 1981.
22. R. Pugliese, A process calculus with asynchronous communication, in: Proc. ICTCS'95, World Scientific, Singapore, 1995, pp. 295-310.
23. J.C. Shepherdson, J.E. Sturgis, Computability of recursive functions, J. ACM 10 (1963) 217-255.
24. D. Taubner, Finite representations of CCS and TCSP Programs by Automata and Petri nets, Lecture Notes in Computer Science, vol. 369, Springer, Berlin, 1989.