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

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
662 Concurrency and automata on infinite sequences – D Park - 1981
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
60 Specifying coalgebras with modal logic – A Kurz
1178 Software Engineering Economics – Barry W. Boehm - 1981
604 A Mathematical Introduction to Logic – H Enderton - 1972