An institution of object behaviour

This publication has 9 references indexed in Scilit:

• Process semantics of temporal logic specification
  Published by Springer Nature ,1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories
  Theoretical Computer Science, 1991
• Abstract object types: A temporal perspective
  Published by Springer Nature ,1989
• Petri nets, algebras, morphisms, and compositionality
  Information and Computation, 1987
• Categories of models for concurrency
  Lecture Notes in Computer Science, 1985
• Synchronization trees
  Theoretical Computer Science, 1984
• Introducing institutions
  Published by Springer Nature ,1984
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984