Process Calculi for Coordination: From Linda to JavaSpaces

This publication has 10 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Comparing three semantics for Linda-like languages
  Theoretical Computer Science, 2000
• Event notification in data-driven coordination languages
  Published by Association for Computing Machinery (ACM) ,2000
• On the Expressiveness of Linda Coordination Primitives
  Information and Computation, 2000
• Logic-Based Program Synthesis and Transformation
  Published by Springer Nature ,2000
• A process algebraic view of Linda coordination primitives
  Theoretical Computer Science, 1998
• T Spaces
  IBM Systems Journal, 1998
• Transition system specifications with negative premises
  Theoretical Computer Science, 1993
• Coordination languages and their significance
  Communications of the ACM, 1992
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986