Iterative circular coinduction for CoCasl in Isabelle/HOL (2005)

View PDF

Download Links

by Daniel Hausmann , Till Mossakowski , Lutz Schröder
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME 3442 OF LECT. NOTES COMPUT. SCI
Citations:9 - 1 self

Documents Related by Co-Citation

325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
515 Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS series – Y Bertot, P Castéran - 2004
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
590 A lattice-theoretical fixpoint theorem and its applications – A Tarski - 1955
1353 Monads for functional programming – Philip Wadler - 1995
700 Concurrency and automata on infinite sequences – D Park - 1981
2176 A theory of timed automata – Rajeev Alur - 1999
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1418 A Calculus of Communicating Systems – R Milner - 1980