Compositional modelling and reasoning in an institution for processes and data

DOI10.1007/978-3-642-28412-0_16MaRDI QIDQ2890337zbMATH OpenOpenAlexFDO

Authors Liam O'Reilly, Till Mossakowski, Markus Roggenbach

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)

Recommendations

• CSP-CASL -- a new integration of process algebra and algebraic specification
• CSP-CASL-Prover: a generic tool for process and data refinement
• Structured CSP – A Process Algebra as an Institution
• Property Preserving Refinement for Csp-Casl
• \textsc{CoCasl} at work -- modelling process algebra

Cites work

• CASL reference manual. The complete documentation of the common algebraic specification language.
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• CSP-CASL -- a new integration of process algebra and algebraic specification
• CSP-CASL-Prover: a generic tool for process and data refinement
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1368957 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• May I borrow your logic? (Transporting logical structures along maps)
• Property Preserving Refinement for Csp-Casl
• Recent Trends in Algebraic Development Techniques
• Recent Trends in Algebraic Development Techniques
• Responsiveness of interoperating components
• Specifications in an arbitrary institution
• Structured CSP – A Process Algebra as an Institution
• Understanding concurrent systems

Cited in

(4)

• A logic for the stepwise development of reactive systems
• 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

Describes a project that uses

Uses Software

• Hets
• CASL

This page was built for publication: Compositional modelling and reasoning in an institution for processes and data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2890337)