On the Semantics of JavaSpaces

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro. On the Semantics of JavaSpaces. In Scott F. Smith, Carolyn L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA. Volume 177 of IFIP Conference Proceedings, pages 3, Kluwer, 2000.

Abstract

Abstract is missing.