Towards an adequate notion of observation

This publication has 10 references indexed in Scilit:

• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• Initial behaviour semantics for algebraic specifications
  Lecture Notes in Computer Science, 1988
• Implementation of modular algebraic specifications
  Published by Springer Nature ,1988
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• On observational equivalence and algebraic specification
  Published by Springer Nature ,1985
• Introducing institutions
  Published by Springer Nature ,1984
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
  SIAM Journal on Computing, 1983
• Final Data Types and Their Specification
  ACM Transactions on Programming Languages and Systems, 1983
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• Final algebra semantics and data type extensions
  Journal of Computer and System Sciences, 1979