Relating Two Approaches to Coinductive Solution of Recursive Equations (2004)

Cached

Download Links

by Bart Jacobs
Venue:Milius (Eds.), Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science, CMCS’04 (Barcelona, March 2004), Electron. Notes in Theoret. Comput. Sci
Citations:3 - 2 self

Active Bibliography

12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
4 Generalizing Substitution – Tarmo Uustalu - 2003
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
16 Generalised Coinduction – Falk Bartels - 2001
1 Uniform Functors on Sets – Lawrence S. Moss
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
14 Parametric Corecursion – Lawrence S. Moss
7 Generalized Coiteration Schemata – Daniela Cancila, Furio Honsell, Marina Lenisa - 2003
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
found at the ENTCS Macro Home Page. – Monads For Behaviour, Maciej Piróg, Jeremy Gibbons, Haskell Fragment
7 Generalizing the powerset construction, coalgebraically – Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten - 2010
Coalgebraic Bisimulation-up-to Jurriaan Rot 1,2 ⋆ , Marcello Bonsangue 1,2, and Jan Rutten 2,3 – Centrum Wiskunde En Informatica
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