Property Preserving Refinement for Csp-Casl
From MaRDI portal
Publication:3184734
DOI10.1007/978-3-642-03429-9_14zbMath1253.68229MaRDI QIDQ3184734
Markus Roggenbach, Temesghen Kahsai
Publication date: 22 October 2009
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03429-9_14
68Q65: Abstract data types; algebraic specification
Related Items
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement, Compositional Modelling and Reasoning in an Institution for Processes and Data
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- CASL reference manual. The complete documentation of the common algebraic specification language.
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Compositional Modelling and Reasoning in an Institution for Processes and Data
- Structured CSP – A Process Algebra as an Institution
- Reasoning Support for Casl with Automated Theorem Proving Systems
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
- Observational interpretation of Casl specifications
- Program development by stepwise refinement
- Tools and Algorithms for the Construction and Analysis of Systems
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques