Compositional Modelling and Reasoning in an Institution for Processes and Data
From MaRDI portal
Publication:2890337
DOI10.1007/978-3-642-28412-0_16zbMath1312.68146MaRDI QIDQ2890337
Markus Roggenbach, Till Mossakowski, Liam O'Reilly
Publication date: 8 June 2012
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-28412-0_16
68Q65: Abstract data types; algebraic specification
Related Items
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement, Property Preserving Refinement for Csp-Casl
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Specifications in an arbitrary institution
- May I borrow your logic? (Transporting logical structures along maps)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Responsiveness of interoperating components
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Understanding concurrent systems
- CSP-CASL -- a new integration of process algebra and algebraic specification
- Property Preserving Refinement for Csp-Casl
- Structured CSP – A Process Algebra as an Institution
- Institutions: abstract model theory for specification and programming
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques