Generalised Coinduction (2000)

by Falk Bartels
Citations:16 - 3 self

Documents Related by Co-Citation

228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
443 Modal Logic – P Blackburn, M de Rijke, Y Venema - 2001
51 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992
29 A logic for coalgebraic simulation – Alexandru 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
395 Category Theory for Computing Science – M Barr, C Wells - 1999
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
14 A Coalgebraic View of Infinite Trees and Iteration – P Aczel, J Adámek, J Velebil - 2001
97 and Order in Algorithmics – Law - 1992
2 Functional Programming with Apomorphisms – V Vene, T Uustalu - 1997
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
10 Bialgebraic modelling of timed processes – M Kick - 2002
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
39 Compositional verification of probabilistic processes – K G Larsen, A Skou - 1992