Iterative Circular Coinduction for CoCASL (2005)

Cached

Download Links

by Daniel Hausmann , Till Mossakowski
Venue:in Isabelle/HOL, Proc. FASE 2005, Springer LNCS 3442
Citations:5 - 0 self

Documents Related by Co-Citation

18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
26 Model-Checking: A Tutorial Introduction – Markus Müller-olm, David Schmidt, Bernhard Steffen - 1999
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
45 Universal Coalgebra: A Theory of Systems, Theoretical Computer Science 249 – J J M M Rutten - 2000
24 A Tutorial on – B Jacobs, J Rutten - 1997
32 A Hidden Agenda, Theoretical Computer Science 245 – J Goguen, G Malcolm - 2000
8 Modular Swinging Types – Peter Padawitz - 1999
6 Expander2: Towards a Workbench for Interactive Formal Reasoning, ls5-www.cs.uni-dortmund.de/∼peter/Expander2/Chiemsee.ps – P Padawitz
6 Bisimilarity as a Theory of – Andrew D Gordon - 1999
3 Modal Logics for Coalgebras - A – I Hasuo - 2003
6 Expander2: A Formal Methods – P Padawitz
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
86 Algebraic Approaches to Program Semantics – E G Manes, M A Arbib - 1986
41 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
592 A Communicating and Mobile Systems: the π-Calculus – R Milner - 1999
14 Functional Programming with Bananas – E Meijer, M Fokkinga, R Paterson - 1991
219 Fundamentals of Algebraic Specification 1 – H Ehrig, B Mahr - 1985
221 Why Interaction Is More Powerful Than Algorithms – Peter Wegner - 1997
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978