Categorical Modelling of Structural Operational Rules: Case Studies

On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

Mathematical Structures in Computer Science

A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces

Electronic Notes in Theoretical Computer Science (ENTCS)

Modularity and Implementation of Mathematical Operational Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)

Comodels and effects in mathematical operational semantics

FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures