On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling (2004)

Cached

Download Links

by Falk Bartels
Citations:38 - 0 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
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
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
9 Category theory for operational semantics – M Lenisa, J Power, H Watanabe
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
3219 Communication and Concurrency – R Milner - 1990
930 Categories for the Working Mathematician – S Mac Lane - 1971
8 Coalgebraic semantics for timed processes – Marco Kick, John Power, Alex Simpson - 2006
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
22 Adjoint lifting theorems for categories of algebras – P T Johnstone - 1975