Generalising Interpretations Between Theories in the Context of (π-)institutions

This publication has 4 references indexed in Scilit:

• Temporal theories as modularisation units for concurrent system specification
  Formal Aspects of Computing, 1992
• Specifications in an arbitrary institution
  Information and Computation, 1988
• Structuring theories on consequence
  Published by Springer Nature ,1988
• Algebraic implementations preserve program correctness
  Science of Computer Programming, 1986