Towards a mathematical operational semantics

This publication has 21 references indexed in Scilit:

• Bisimulation and open maps
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Ntyft/ntyxt Rules Reduce to Ntree Rules
  Information and Computation, 1996
• Bisimulation can't be traced
  Journal of the ACM, 1995
• The tyft/tyxt format reduces to tree rules
  Published by Springer Nature ,1994
• Structured operational semantics and bisimulation as a congruence
  Information and Computation, 1992
• Notions of computation and monads
  Information and Computation, 1991
• A category-theoretic account of program modules
  Mathematical Structures in Computer Science, 1991
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• Adjoint Lifting Theorems for Categories of Algebras
  Bulletin of the London Mathematical Society, 1975