Jaco van de Pol, Miguel Valero Espada. Formal Specification of JavaSpaces™ Architecture Using µCRL. In Farhad Arbab, Carolyn L. Talcott, editors, Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Volume 2315 of Lecture Notes in Computer Science, pages 274-290, Springer, 2002. [doi]
Abstract is missing.