Creative Commons
| Preface Till Mossakowski and Ugo Montanari | ||
| Rational streams coalgebraically | ||
| Jan Rutten | ||
| Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets | ||
| Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel and Barbara König | ||
| Bootstrapping Inductive and Coinductive Types in HasCASL | ||
| Lutz Schröder | ||
| Neighbourhood Structures: Bisimilarity and Basic Model Theory | ||
| Helle Hvid Hansen, Clemens Kupke and Eric Pacuit | ||
| Applications of Metric Coinduction | ||
| Dexter Kozen and Nicholas Ruozzi | ||