CoCasl
From MaRDI portal
Software:24995
swMATH13076MaRDI QIDQ24995FDOQ24995
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S1571066104806406
Cited In (26)
- Bootstrapping Inductive and Coinductive Types in HasCASL
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers
- Probabilistic systems coalgebraically: a survey
- Foundations of algebraic specification and formal software development.
- 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.
- Global semantic typing for inductive and coinductive computing
- Coalgebraic Modal Logic in CoCasl
- Algebraic-coalgebraic specification in CoCasl.
- Behavioral rewrite systems and behavioral productivity
- CASL
- Algebra and Coalgebra in Computer Science
- Some general results about proof normalization
- A coalgebraic approach to the semantics of the ambient calculus
- Algebraic-coalgebraic specification in CoCASL
- Circular coinduction: a proof theoretical foundation
- Expressivity of coalgebraic modal logic: the limits and beyond
- Fundamental Approaches to Software Engineering
- CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1--3, 2006. Revised selected papers.
- Behavioral abstraction is hiding information
- Bootstrapping Types and Cotypes in HasCASL
- Expander2: program verification between interaction and automation
- Regular strategies as proof tactics for \textsf{CIRC}
- Specification-Based Testing for CoCasl’s Modal Specifications
This page was built for software: CoCasl
