On the semantics of javaspaces

IFIP Advances in Information and Communication Technology

Volumn 49 AICT, Issue , 2000, Pages 3-19

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

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SEMANTICS; COORDINATION MIDDLEWARE; EVENT NOTIFICATION; EXPRESSIVE POWER; JAVA PROGRAMMING; JAVASPACES; LINDA COORDINATION MODEL; PROCESS ALGEBRAS; SHARED REPOSITORIES; STRUCTURED OPERATIONAL SEMANTICS; SUN MICROSYSTEMS;

COMPUTER PROGRAMMING LANGUAGES; MIDDLEWARE;

SEMANTICS;

EID: 84868268364     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35520-7_1     Document Type: Conference Paper

References (17)

1. N. Busi, R. Gorrieri, and G. Zavattaro. A Process Algebraic View of Linda Coordination Primitives. Theoretical Computer Science, 192(2): 167-199, 1998.
2. N. Busi, R. Gorrieri, and G. Zavattaro. On the Expressiveness of Linda Coordination Primitives. Information and Computation, 156:90-121, 2000. Extended abstract appeared in Proc. of Express '97.
3. 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.
4. N. Busi and G. Zavattaro. Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. In Proc. of SAC2000, pages 233-239. 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 1782 of Lecture Notes in Computer Science, pages 41-55. Springer-Verlag, Berlin, 2000.
6. N. Busi, R. Gorrieri, and G. Zavattaro. Process Calculi for Coordination: from Linda to JavaSpaces. In Proc. of AMAST2000, volume to appear of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2000.
7. N. Busi, R. Gorrieri, and 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.
8. C. Dufourd, A. FinkeI, and P. Schnoebelen. Reset nets between decidability and undecidability. In Proc. of ICALP'98, volume 1061 of Lecture Notes in Computer Science, pages 103-115. Springer-Verlag, Berlin, 1998.
9. D. Gelernter and N. Carriero. Coordination Languages and their Significance. Communications of the ACM, 35(2):97-107, 1992.
10. J.F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118:263-299, 1993.
11. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
12. J. McClain. Personal communications. March 1999.
13. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
14. R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes. Information and Computation, 100(1):1-77, 1992.
15. Sun Microsystem, Inc. JavaSpaces Specifications, 1998.
16. Sun Microsystem, Inc. Jini Distributed Leasing Specifications, 1998.
17. P. Wyckoff, S.W. McLaughry, T.J. Lehman, and D.A. Ford. T Spaces. IBM Systems Journal, 37(3):454-474, 1998.