Distributive laws for the coinductive solution of recursive equations

Cached

Download Links

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

Documents Related by Co-Citation

134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
10 Adding recursive constructs to bialgebraic semantics – B Klin - 2004
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
11 Monoid-Labeled Transition Systems – H. Peter Gumm, Tobias Schröder
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
19 An abstract coalgebraic approach to process equivalence for well-behaved operational semantics – Bartosz Klin - 2004
10 Bialgebraic modelling of timed processes – M Kick - 2002
5 Modularity of behaviours for mathematical operational semantics – M Kick, J Power - 2004
46 Semantics of Name and Value Passing – Marcelo Fiore, Daniele Turi - 2001
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
20 A congruence rule format for name-passing process calculi from mathematical structural operational semantics – Marcelo Fiore, Sam Staton - 2006
8 Rule formats for timed processes – M Kick - 2002
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
21 Recursion Schemes from Comonads – Tarmo Uustalu, Varmo Vene, Alberto Pardo - 2001
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995