Compositional Modelling and Reasoning in an Institution for Processes and Data
From MaRDI portal
Publication:2890337
DOI10.1007/978-3-642-28412-0_16zbMath1312.68146OpenAlexW1509512762MaRDI 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
Related Items
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Property Preserving Refinement for Csp-Casl ⋮ CSP-CASL-Prover: A Generic Tool for Process and Data Refinement ⋮ A logic for the stepwise development of reactive systems
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