Bisimulations and abstraction homomorphisms

Bisimulation Equivalences for Graph Grammars

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]

Bisimulation equivalences for graph grammars

Formal and natural computing

Literature

Automata logics, and infinite games

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

Mathematical Structures in Computer Science

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Concurrency, Graphs and Models

The Topos of Labelled Trees: A Categorical Semantics for SCCS

Fundamenta Informaticae