Generalized Coinduction (2003)

Cached

Download Links

by Falk Bartels

Active Bibliography

16 Generalised Coinduction – Falk Bartels - 2001
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
13 GSOS for Probabilistic Transition Systems – Falk Bartels - 2002
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
2 Incremental pattern-based coinduction for process algebra and its Isabelle formalization – Andrei Popescu, Elsa L. Gunter
Talk II: Simple (Co)Induction Principles – Dirk Pattinson - 2001
Thesis description: Name-passing process calculi: operational models and structural operational semantics. – Sam Staton
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
7 New Bisimulation Semantics for Distributed Systems – David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez - 2007
12 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi
10 Non-strongly stable orders also define interesting simulation relations – Ignacio Fábregas, David De Frutos Escrig, Miguel Palomino - 2009
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
4 Modal Predicates and Coequations – Alexander Kurz, Jirí Rosicky - 2002
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
Coalgebraic Specifications in Object-Oriented Programming – Elena Tsanko - 2004