Volume 106, December 2004 Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS)
: Relating Two Approaches to Coinductive Solution of Recursive Equations.
: A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces.
: A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure.
: On Equivalences for a Class of Timed Regular Expressions.
: Predicate and Relation Lifting for Parametric Algebraic Specifications.
: Automata and Fixed Point Logics for Coalgebras.