Compositional Modelling and Reasoning in an Institution for Processes and Data

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

• CASL
• Hets

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