Initial Algebra and Final Coalgebra Semantics for Concurrency

Fold and unfold for program semantics

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

Combining a monad and a comonad

Theoretical Computer Science

Distributivity of categories of coalgebras

Theoretical Computer Science

Hidden coinduction: behavioural correctness proofs for objects

Mathematical Structures in Computer Science

On the bisimulation proof method

Mathematical Structures in Computer Science

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

Mathematical Structures in Computer Science

Structured transition systems with parametric observations: observational congruences and minimal realizations

Mathematical Structures in Computer Science

A hierarchy of probabilistic system types

Theoretical Computer Science - Selected papers of CMCS'03

Category theory for operational semantics

Theoretical Computer Science - Selected papers of CMCS'03

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

Electronic Notes in Theoretical Computer Science (ENTCS)

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language

Electronic Notes in Theoretical Computer Science (ENTCS)

Pointwise extensions of gsos-defined operations

Mathematical Structures in Computer Science

Towards Effects in Mathematical Operational Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)

Towards bialgebraic semantics for the linear time --- branching time spectrum

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques