Optimistic Concurrency Semantics for Transactions in Coordination Languages

This publication has 20 references indexed in Scilit:

• The Two-Phase Commitment Protocol in an Extended π-Calculus
  Electronic Notes in Theoretical Computer Science, 2003
• An Equational Theory for Transactions
  Published by Springer Nature ,2003
• Formal Specification of JavaSpaces™ Architecture Using μCRL
  Published by Springer Nature ,2002
• On the Serializability of Transactions in JavaSpaces
  Electronic Notes in Theoretical Computer Science, 2001
• Process Calculi for Coordination: From Linda to JavaSpaces
  Published by Springer Nature ,2000
• A process algebraic view of Linda coordination primitives
  Theoretical Computer Science, 1998
• Synthesis of extended transaction models using ACTA
  ACM Transactions on Database Systems, 1994
• A calculus of mobile processes, II
  Information and Computation, 1992
• Linda in context
  Communications of the ACM, 1989
• Generative communication in Linda
  ACM Transactions on Programming Languages and Systems, 1985