Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads (2000)

Cached

Download Links

by Marina Lenisa , John Power , Hiroshi Watanabe
Citations:24 - 1 self

Documents Related by Co-Citation

228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
10 Bialgebraic modelling of timed processes – M Kick - 2002
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
5 Modularity of behaviours for mathematical operational semantics – M Kick, J Power - 2004
8 Rule formats for timed processes – M Kick - 2002
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
46 Semantics of Name and Value Passing – Marcelo Fiore, Daniele Turi - 2001
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
9 Category theory for operational semantics – M Lenisa, J Power, H Watanabe
13 Testing semantics: connecting processes and process logics – Dusko Pavlovic, Michael Mislove, James B. Worrell - 2006
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
14 Coalgebras and their logics – A Kurz - 2006