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

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
24 Coalgebras and Modal Logic – Alexander Kurz - 1998
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
21 An Axiomatics for Categories of Coalgebras – John Power, Hiroshi Watanabe - 1998
140 Handbook of Categorical Algebra – F Borceux - 1994
54 Logics for Coalgebras and Applications to Computer Science – A Kurz - 2000
226 Abstract and Concrete Categories – J Ad├ímek, H Herrlich, G Strecker - 1990
14 Adjoint machines, state-behaviour machines, and duality – M A Arbib, E G Manes - 1975
112 Categorical Logic and Type Theory – B Jacobs - 1999
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
11 Towards a duality result in coalgebraic modal logic – B Jacobs
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
7 A coequational approach to specifying behaviours – Corina Cirstea - 1999
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
28 Non-well-founded sets. Center for the Study of Language and Information – Peter Aczel - 1988
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
658 Concurrency and automata on infinite sequences – D Park - 1981