Implementation and behavioural equivalence: A survey

This publication has 19 references indexed in Scilit:

• Observational implementations
  Published by Springer Nature ,2005
• Observational implementation of algebraic specifications
  Acta Informatica, 1991
• Correctness proofs for abstract implementations
  Information and Computation, 1989
• Crypt-equivalent algebraic specifications
  Acta Informatica, 1988
• Algebraic implementations preserve program correctness
  Science of Computer Programming, 1986
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Compatibility of parameter passing and implementation of parameterized data types
  Theoretical Computer Science, 1983
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
  ACM Transactions on Programming Languages and Systems, 1983
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982