Generalised Coinduction (2001)

by Falk Bartels
Citations:16 - 3 self

Active Bibliography

4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
1 Elements of stream calculus – J. J. M. M. Rutten - 2001
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
Coalgebraic Bisimulation-up-to Jurriaan Rot 1,2 ⋆ , Marcello Bonsangue 1,2, and Jan Rutten 2,3 – Centrum Wiskunde En Informatica
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
Generalized Coinduction – Falk Bartels - 2003
27 A coinductive calculus of streams – J. J. M. M. Rutten - 2005
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
Coinductive Proof Techniques for Language Equivalence – Jurriaan Rot, Marcello Bonsangue, Jan Rutten
DOI: 10.1145/2429069.2429124 Checking NFA equivalence with bisimulations up to congruence – Damien Pous - 2012
5 Checking NFA equivalence with bisimulations up to congruence – Damien Pous
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
4 Coinductive Counting With Weighted Automata – J. J. M. M. Rutten - 2002
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
13 GSOS for Probabilistic Transition Systems – Falk Bartels - 2002
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006