How to Prove Observational Theorems with LP

This publication has 16 references indexed in Scilit:

• Towards an adequate notion of observation
  Published by Springer Nature ,1992
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
  Formal Aspects of Computing, 1991
• Observational implementation of algebraic specifications
  Acta Informatica, 1991
• Debugging Larch shared language specifications
  IEEE Transactions on Software Engineering, 1990
• Implementation of parameterized observational specifications
  Published by Springer Nature ,1989
• Report on the larch shared language
  Science of Computer Programming, 1986
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
  ACM Transactions on Programming Languages and Systems, 1983
• Final Data Types and Their Specification
  ACM Transactions on Programming Languages and Systems, 1983
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976
• Categories for the Working Mathematician
  Published by Springer Nature ,1971