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

Cached

Download Links

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

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
1330 A Calculus of Communicating Systems – R Milner - 1980
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
35 Behavioral coherence in object-oriented algebraic specification – Razvan Diaconescu - 1998
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
155 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
19 Towards the One-Tiered Design of Data Types and Transition Systems – P Padawitz - 1998
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
72 Types as theories – Joseph Goguen - 1991
46 Context induction: a proof principle for behavioural abstractions and algebraic implementations – R Hennicker - 1991
32 A Hidden Agenda, Theoretical Computer Science 245 – J Goguen, G Malcolm - 2000
89 Coalgebraic Logic – Lawrence S. Moss - 1999
34 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
61 Vicious Circles: on the mathematics of non-wellfounded phenomena. Stanford,USA:CSLIPublications – Jon Barwise, Lawrence S Moss - 1996
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995