A process algebraic view of shared dataspace coordination

Journal of Logic and Algebraic Programming

Volumn 75, Issue 1, 2008, Pages 52-85

  Busi, Nadia ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Coordination models and languages; Event notification; Process calculi; Transactions; Tuple spaces

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SUPPORTED COOPERATIVE WORK; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

COORDINATION MODELS; EVENT NOTIFICATION; PROCESS CALCULI; TUPLE SPACES;

DATABASE SYSTEMS;

EID: 38649089777     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2007.06.003     Document Type: Article

References (48)

1. Anderson B., and Shasha D. Persistent Linda: Linda + Transactions + Query. Research Directions in High-Level Parallel Programming Languages. Lecture Notes in Computer Science vol. 574 (1991), Springer-Verlag, Berlin 93-109
2. Banâtre J.P., and Le Métayer D. Programming by multiset transformation. Commun. ACM 36 1 (1993) 98-111
3. Berger M., and Honda K. The Two-Phase Commit Protocol in an extended π-calculus. Proceedings of EXPRESS'00. Electronic Notes in Theoretical Computer Science vol. 39 (2000), Elsevier
4. Berry G., and Boudol G. The chemical abstract machine. Theoret. Comput. Sci. 96 (1992) 217-248
5. deBoer F.S., Gabbrielli M., and Meo M.C. A timed Linda language. Proceedings of Coordination'00. Lecture Notes in Computer Science vol. 1906 (2000), Springer-Verlag, Berlin 299-304
6. de Boer F.S., and Palamidessi C. Embedding as a tool for language comparison: on the CSP hierarchy. Proceedings of CONCUR'91. Lecture Notes in Computer Science vol. 527 (1991), Springer-Verlag, Berlin 127-141
7. Brogi A., and Jacquet J.M. Modeling coordination via asynchronous communication. Proceedings of Coordination'97. Lecture Notes in Computer Science vol. 1282 (1997), Springer-Verlag, Berlin 238-255
8. Brogi A., and Jacquet J.M. On the expressiveness of coordination models. Proceedings of Coordination'99. Lecture Notes in Computer Science vol. 1594 (1999), Springer-Verlag, Berlin 134-149
9. N. Busi, Petri Nets with Inhibitor and Read Arcs: Semantics, Analysis and Application to Process Calculi, Ph.D. Thesis, Department of Mathematics, University of Siena, Italy, 1998.
10. Busi N., Gorrieri R., and Zavattaro G. A process algebraic view of Linda coordination primitives. Theoret. Comput. Sci. 192 2 (1998) 167-199
11. Busi N., Gorrieri R., and Zavattaro G. Comparing three semantics for Linda-like languages. Theoret. Comput. Sci. 240 1 (2000) 49-90
12. Busi N., Gorrieri R., and Zavattaro G. On the expressiveness of Linda coordination primitives. Inform. and Comput. 156 1/2 (2000) 90-121
13. Busi N., Gorrieri R., and Zavattaro G. Process calculi for coordination: from Linda to JavaSpaces. Proceedings of AMAST2000. Lecture Notes in Computer Science vol. 1816 (2000), Springer-Verlag, Berlin 198-212
14. N. Busi, R. Gorrieri, G. Zavattaro, On the expressiveness of distributed leasing in Linda-like coordination languages, Technical Report UBLCS-2000-5, Department of Computer Science, University of Bologna, Italy, May 2000.
15. Busi N., Gorrieri R., and Zavattaro G. Temporary data in shared-dataspace coordination. Proceedings of FOSSACS2001. Lecture Notes in Computer Science vol. 2030 (2001), Springer-Verlag, Berlin 121-136
16. Busi N., Rowstron A., and Zavattaro G. State- and event-based reactive programming in shared dataspaces. Proceedings of Coordination2002. Lecture Notes in Computer Science vol. 2315 (2002), Springer-Verlag, Berlin 111-124
17. Busi N., and Zavattaro G. Event notification in data-driven coordination languages: comparing the ordered and unordered interpretations. Proceedings of SAC2000 (2000), ACM Press 233-239
18. Busi N., and Zavattaro G. On the expressiveness of event notification in data-driven coordination languages. Proceedings of ESOP2000. Lecture Notes in Computer Science vol. 1782 (2000), Springer-Verlag, Berlin 41-55
19. Cabri G., Leonardi L., and Zambonelli F. Reactive Tuple spaces for mobile agent coordination. Proceedings of 2nd International Workshop on Mobile Agents. Lecture Notes in Computer Science vol. 1477 (1998), Springer-Verlag, Berlin 237-248
20. Cheng A., Esparza J., and Palsberg J. Complexity results for 1-safe nets. Theoret. Comput. Sci. 147 (1995) 117-136
21. Ciancarini P., Jensen K.K., and Yankelevich D. On the operational semantics of a coordination language. Object-Based Models and Languages for Concurrent Systems. Lecture Notes in Computer Science vol. 924 (1995), Springer-Verlag 77-106
22. De Nicola R., and Hennessy M.C.B. Testing equivalences for processes. Theoret. Comput. Sci. 34 (1984) 83-133
23. De Nicola R., Ferrari G., and Pugliese R. KLAIM: a kernel language for agents interaction and mobility. Mobility and Network Aware Computing. IEEE Trans. Software Eng. 24 5 (1998) 315-330 (special issue)
24. De Nicola R., and Pugliese R. A process algebra based on Linda. Proceedings of Coordination'96. Lecture Notes in Computer Science vol. 1061 (1996), Springer-Verlag 160-178
25. Gelernter D. Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7 1 (1985) 80-112
26. Gelernter D., and Carriero N. Coordination languages and their significance. Commun. ACM 35 2 (1992) 97-107
27. Groote J.F. Transition system specifications with negative premises. Theoret. Comput. Sci. 118 (1993) 263-299
28. Hankin C., Le Métayer D., and Sands D. A calculus of Gamma programs. Proceedings of 5th International Workshop on Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science vol. 757 (1993), Springer-Verlag, Berlin 342-355
29. Hoare C.A.R. Communicating Sequential Processes (1985), Prentice-Hall
30. Jacquet J.M., de Bosschere K., and Brogi A. On timed coordination languages. Proceedings of Coordination'00. Lecture Notes in Computer Science vol. 1906 (2000), Springer-Verlag, Berlin 81-99
31. T. Kielmann, Objective Linda: A Coordination Model for Object-Oriented Parallel Programming, Ph.D. Thesis, Dept. of Electrical Engineering and Computer Science, University of Siegen, Germany, 1997.
32. Malone T.W., and Crowston K. The interdisciplinary study of coordination. ACM Comput. Surveys 26 1 (1994) 87-119
33. M. Mamei, F. Zambonelli, L. Leonardi, Tuples on the air: a middleware for context-aware computing in dynamic networks, in: Proceedings of the International Workshop on Mobile Computing Middleware, 2003, pp. 342-347.
34. R. Menezes, R. Tolksdorf, A new approach to scalable Linda-systems based on swarms, in: Proceedings of ACM Symposium on Applied Computing, SAC 2003, Melbourne, FL, USA.
35. Milner R. Communication and Concurrency (1989), Prentice-Hall
36. Milner R., Parrow J., and Walker D. A calculus of mobile processes. Inform. and Comput. 100 1 (1992) 1-77
37. Moller F., and Tofts C. A temporal calculus of communicating systems. Proceedings of Concur'90. Lecture Notes in Computer Science vol. 458 (1990), Springer-Verlag, Berlin 467-480
38. Sun Microsystem, Inc., JavaSpaces Specifications 1.1, 1999.
39. Sun Microsystem, Inc., Jini Distributed Leasing Specifications, 1998.
40. Omicini A., and Zambonelli F. Coordination of mobile information agents in TuCSoN. J. Internet Res. 8 5 (1998)
41. Palamidessi C. Comparing the expressive power of the synchronous and the asynchronous π-calculus. Math. Structures Comput. Sci. 13 5 (2003) 685-719
42. Papadopoulos G.A., and Arbab F. Coordination models and languages. Adv. Comput. 46 (1998) 329-400
43. G.P. Picco, A.L. Murphy, G.-C. Roman, Lime: Linda meets mobility, in: Proceedings of the 21st ICSE, 1999.
44. Reisig W. Petri Nets: An Introduction. EATCS Monographs in Computer Science (1985), Springer
45. Rowstron A. WCL: a co-ordination language for geographically distributed agents. World Wide Web 1 (1998) 167-179
46. Wyckoff P., McLaughry S.W., Lehman T.J., and Ford D.A. T spaces. IBM Syst. J. 37 3 (1998)
47. G. Zavattaro, On the incomparability of Gamma and Linda, Technical Report SEN-R9827, Centrum voor Wiskunde en Informatica-CWI, 1998.
48. Zavattaro G. Towards a hierarchy of negative test operators for generative communication. Proceedings of EXPRESS'98. Electronic Notes in Theoretical Computer Science vol. 16(2) (1998), Elsevier