Formal specification of JavaSpaces™ architecture using μCRL

  1. van de Pol, J.
  2. Espada, M.V.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

ISBN: 9783540434108

Year of publication: 2002

Volume: 2315

Pages: 274-290

Type: Conference paper