Independence of the equational axioms for iteration theories

Equational Axioms for Probabilistic Bisimilarity

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

Complete Axioms for Categorical Fixed-Point Operators

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces

Mathematical Structures in Computer Science

An algebraic model of synchronous systems

Information and Computation

Elgot theories: A new perspective on the equational properties of iteration

Mathematical Structures in Computer Science