Distributive laws for the coinductive solution of recursive equations

Cached

Download Links

by Bart Jacobs
Venue:Information and Computation
Citations:12 - 1 self

Active Bibliography

3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
4 Generalizing Substitution – Tarmo Uustalu - 2003
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
7 The category theoretic solution of recursive program schemes – Stefan Milius, Lawrence, S. Moss - 2006
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
3 Structural Operational Semantics and Modal Logic, Revisited – Bartek Klin
7 Generalizing the powerset construction, coalgebraically – Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten - 2010
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
11 Context-free languages via coalgebraic trace semantics – Ichiro Hasuo, Bart Jacobs - 2005
Coalgebraic Bisimulation-up-to Jurriaan Rot 1,2 ⋆ , Marcello Bonsangue 1,2, and Jan Rutten 2,3 – Centrum Wiskunde En Informatica
1 The expression lemma ⋆ – Ralf Lämmel, Ondrej Rypacek
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
Towards Effects in Mathematical Operational Semantics – Faris Abou-saleh, Dirk Pattinson
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007