Formal Specification of JavaSpaces™ Architecture Using μCRL

This publication has 10 references indexed in Scilit:

• Formal verification of replication on a distributed data space architecture
  Published by Association for Computing Machinery (ACM) ,2002
• On the Serializability of Transactions in JavaSpaces
  Electronic Notes in Theoretical Computer Science, 2001
• µCRL: A Toolset for Analysing Algebraic Specifications
  Published by Springer Nature ,2001
• Algebraic Process Verification
  Published by Elsevier ,2001
• Process Calculi for Coordination: From Linda to JavaSpaces
  Published by Springer Nature ,2000
• On the Verification of Coordination
  Published by Springer Nature ,2000
• Introduction to Process Algebra
  Published by Springer Nature ,2000
• Comparing coordination models based on shared distributed replicated data
  Published by Association for Computing Machinery (ACM) ,1999
• CADP a protocol validation and verification toolbox
  Lecture Notes in Computer Science, 1996
• Control systems software
  IEEE Transactions on Automatic Control, 1993