A Tutorial on (Co)Algebras and (Co)Induction (1997)

Cached

Download Links

by Bart Jacobs , Jan Rutten
Venue:EATCS Bulletin
Citations:228 - 34 self

Active Bibliography

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
5 Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions – Bart Jacobs - 1996
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
5 Themes in Final Semantics – Marina Lenisa - 1998
12 Invariants, Bisimulations and the Correctness of Coalgebraic Refinements – Bart Jacobs - 1997
Coalgebraic Specifications in Object-Oriented Programming – Elena Tsanko - 2004
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
Algebraic and Coalgebraic Structures (Lecture Notes for Álgebra de Processos) – Luís Soares Barbosa - 2003