CoCasl

swMATH13076MaRDI QIDQ24995FDOQ24995

Author name not available (Why is that?)

Described by source

• \textsc{CoCasl} at work -- modelling process algebra

Cited In (25)

• Bootstrapping Inductive and Coinductive Types in HasCASL
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Behavioral Rewrite Systems and Behavioral Productivity
• 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
• 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
• Recent Trends in Algebraic Development Techniques
• 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
• Circular Coinduction: A Proof Theoretical Foundation
• 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