Semantic Refinement of Concurrent Object Systems Based on Serializability

This publication has 20 references indexed in Scilit:

• Towards Action-Refinement in Process Algebras
  Information and Computation, 1993
• Constraining interference in an object-based design method
  Published by Springer Nature ,1993
• (Inter-)Action Refinement: The Easy Way
  Published by Springer Nature ,1993
• Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
  The Computer Journal, 1992
• Observational implementation of algebraic specifications
  Acta Informatica, 1991
• Atomic refinement in process description languages
  Published by Springer Nature ,1991
• A calculus of refinements for program derivations
  Acta Informatica, 1988
• Extensions and implementations of abstract data type specifications
  Published by Springer Nature ,1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• Proof of correctness of data representations
  Acta Informatica, 1972