Preservation and reflection in specification

This publication has 14 references indexed in Scilit:

• Categorical semantics of parallel program design
  Science of Computer Programming, 1997
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
  Mathematical Structures in Computer Science, 1996
• On the emergence of properties in component-based systems
  Published by Springer Nature ,1996
• Local liveness for compositional modeling of fair reactive systems
  Published by Springer Nature ,1995
• Compositional specification and verification of distributed systems
  ACM Transactions on Programming Languages and Systems, 1994
• Generalising Interpretations Between Theories in the Context of (π-)institutions
  Published by Springer Nature ,1993
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Temporal theories as modularisation units for concurrent system specification
  Formal Aspects of Computing, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• A compositional proof system on a category of labelled transition systems
  Information and Computation, 1990