Hidden Coinduction: Behavioral Correctness Proofs for Objects (1999)

by Joseph A. Goguen , Grant Malcolm
Venue:Mathematical Structures in Computer Science
Citations:24 - 8 self

Active Bibliography

10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
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
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
14 Components as processes: An exercise in coalgebraic modeling – L. S. Barbosa - 2000
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
1 Final coalgebras and the Hennessy-Milner property – Robert Goldblatt
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
4 A modal proof theory for final polynomial coalgebras. Theoret – David Friggens, Robert Goldblatt
12 Invariants, Bisimulations and the Correctness of Coalgebraic Refinements – Bart Jacobs - 1997
Coalgebraic Specifications in Object-Oriented Programming – Elena Tsanko - 2004
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996