Volume 360, Numbers 1-3, August 2006
: Boolean restriction categories and taut monads.
: Two polygraphic presentations of Petri nets.
: Decidability of performance equivalence for basic parallel processes.
, Ying Jiang
: Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
: Model checking for process rewrite systems and a class of action-based regular properties.
: Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory.