A Complete Calculus for Equational Deduction in Coalgebraic Specification (1997)

Cached

Download Links

by Andrea Corradini , Andrea Corradini
Venue:Recent Trends in Algebraic Development Techniques, WADT 97, volume 1376 of LNCS
Citations:17 - 0 self

Active Bibliography

6 Object-Oriented Specification of Distributed Systems in the µ-Calculus and Maude – Ulrike Lechner - 1997
297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
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
34 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998
A single complete relational rule for coalgebraic refinement – César J. Rodrigues, J. N. Oliveira, Luis S. Barbosa - 2009
2 Greatest Bisimulations for Binary Methods – Hendrik Tews, Inst Theor Informatik, Tu Dresden, D-- Dresden - 2002
12 Invariants, Bisimulations and the Correctness of Coalgebraic Refinements – Bart Jacobs - 1997
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
4 A modal proof theory for final polynomial coalgebras. Theoret – David Friggens, Robert Goldblatt
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
21 Towards a Duality Result in the Modal Logic of Coalgebras – Bart Jacobs - 2000
19 Coalgebra semantics for hidden algebra: parameterized objects and inheritance – Corina Cirstea - 1998
18 Reasoning about Java classes – Bart Jacobs, Joachim Van Den Berg, Marieke Huisman, Martijn van Berkum, Ulrich Hensel, Hendrik Tews - 1998
5 Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions – Bart Jacobs - 1996
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999