Generalised Coinduction (2000)

by Falk Bartels
Citations:15 - 3 self

Documents Related by Co-Citation

213 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
279 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
156 N.: A Final Coalgebra Theorem – P Aczel, Mendler - 1989
169 Bisimulation Can’t Be Traced – B Bloom, S Istrael, A Meyer - 1995
353 Modal Logic – P Blackburn, M de Rijke, Y Venema - 2001
49 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992
28 A logic for coalgebraic simulation – A Baltag - 2000
43 A 2-Categorical Approach To Change Of Base And Geometric Morphisms II – A. Carboni , G.M. Kelly , D. Verity , R.J. Wood - 1998
369 Category Theory for Computing Science – M Barr, C Wells - 1990
371 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
122 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
24 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
12 A coalgebraic view of infinite trees and iteration – P Aczel, J Adamek, J Velebil - 2001
2 Functional Programming with Apomorphisms – V Vene, T Uustalu - 1997
9 Coalgebraic modelling of timed processes – M Kick - 2007
37 Compositional Verification of Probabilistic Processes – K G Larsen, A Skou - 1992
54 Probabilistic Extensions of Process Algebras – Bengt Jonsson, Kim G. Larsen, Wang Yi - 2001
69 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
22 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000