Process calculi for coordination: From Linda to JavaSpaces

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

Volumn 1816, Issue , 2000, Pages 198-212

  Busi, Nadia ^a   Gorrieri, Roberto ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; PATHOLOGY; SEMANTICS; SOFTWARE ENGINEERING;

DATASPACE COORDINATION; EXPRESSIVE POWER; FORMAL REASONING; JAVASPACES; OPERATIONAL SEMANTICS; PROCESS CALCULI;

BIOMINERALIZATION;

EID: 84974715662     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_16     Document Type: Conference Paper

References (14)

1. N. Busi, R. Gorrieri, and G. Zavattaro. A Process Algebraic View of Linda Coor-dination Primitives. Theoretical Computer Science, 192(2):167-199, 1998.
2. N. Busi, R. Gorrieri, and G. Zavattaro. Comparing Three Semantics for Linda-like Languages. Theoretical Computer Science, to appear, 2000. Extended abstract appeared in Proc. Of Coordination’97.
3. N. Busi, R. Gorrieri, and G. Zavattaro. On the Expressiveness of Linda Coor-dination Primitives. Information and Computation, to appear, 2000. Extended abstract appeared in Proc. Of Express’97.
4. N. Busi and G. Zavattaro. Event Notification in Data-driven Coordination Lan-guages: Comparing the Ordered and Unordered Interpretations. In Proc. Of SAC2000. ACM Press, 2000.
5. N. Busi and G. Zavattaro. On the Expressiveness of Event Notification in Data-driven Coordination Languages. In Proc. Of ESOP2000, volume to appear of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2000.
6. D. Gelernter and N. Carriero. Coordination Languages and their Significance. Communications of the ACM, 35(2):97-107, 1992.
7. J.F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118:263-299, 1993.
8. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
9. J. McClain. Personal communications. March 1999.
10. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
11. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes. Information and Computation, 100(1):1-77, 1992.
12. Sun Microsystem, Inc. JavaSpaces Specifications, 1998.
13. Sun Microsystem, Inc. Jini Distributed Leasing Specifications, 1998.
14. P. Wyckoff, S.W. McLaughry, T.J. Lehman, and D.A. Ford. T Spaces. IBM Systems Journal, 37(3), 1998.