Operational specification with joint actions: Serializable databases

This publication has 26 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Refinement calculus, part II: Parallel and reactive programs
  Published by Springer Nature ,1990
• Decentralization of process nets with centralized control
  Distributed Computing, 1989
• A method for refining atomicity in parallel algorithms
  Published by Springer Nature ,1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Serializability in distributed systems with handshaking
  Published by Springer Nature ,1988
• Defining liveness
  Information Processing Letters, 1985
• Termination detection for diffusing computations
  Information Processing Letters, 1980
• The notions of consistency and predicate locks in a database system
  Communications of the ACM, 1976