Iterative Circular Coinduction for CoCasl in Isabelle/HOL

Daniel Hausmann, Till Mossakowski, Lutz Schröder. Iterative Circular Coinduction for CoCasl in Isabelle/HOL. In Maura Cerioli, editor, Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Volume 3442 of Lecture Notes in Computer Science, pages 341-356, Springer, 2005. [doi]

Abstract

Abstract is missing.