The following pages link to CoCasl (Q24995):
Displaying 17 items.
- CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003 (Q358351) (← links)
- Foundations of algebraic specification and formal software development. (Q610397) (← links)
- Probabilistic systems coalgebraically: a survey (Q639648) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers (Q1416851) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1--3, 2006. Revised selected papers. (Q2371886) (← links)
- 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. (Q2388077) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Regular Strategies as Proof Tactics for CIRC (Q2873678) (← links)
- Expander2: Program Verification Between Interaction and Automation (Q2873787) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- Global semantic typing for inductive and coinductive computing (Q2938771) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
