CoCasl
From MaRDI portal
Software:24995
No author found.
Related Items
Circular Coinduction: A Proof Theoretical Foundation ⋮ CSP-CASL -- a new integration of process algebra and algebraic specification ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1--3, 2006. Revised selected papers. ⋮ 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. ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003 ⋮ Global semantic typing for inductive and coinductive computing ⋮ Foundations of algebraic specification and formal software development. ⋮ Some general results about proof normalization ⋮ Probabilistic systems coalgebraically: a survey ⋮ Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Algebra and Coalgebra in Computer Science ⋮ Behavioral abstraction is hiding information ⋮ Coalgebraic Modal Logic in CoCasl ⋮ Specification-Based Testing for CoCasl’s Modal Specifications ⋮ Bootstrapping Types and Cotypes in HasCASL ⋮ Bootstrapping Inductive and Coinductive Types in HasCASL ⋮ Recent Trends in Algebraic Development Techniques ⋮ Fundamental Approaches to Software Engineering ⋮ Regular Strategies as Proof Tactics for CIRC ⋮ Expander2: Program Verification Between Interaction and Automation
This page was built for software: CoCasl
