Compositional modelling and reasoning in an institution for processes and data

DOI10.1007/978-3-642-28412-0_16zbMATH Open1312.68146OpenAlexW1509512762MaRDI QIDQ2890337FDOQ2890337

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

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

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

Cited In (4)

• Property Preserving Refinement for Csp-Casl
• A logic for the stepwise development of reactive systems
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
• CSP-CASL-Prover: A Generic Tool for Process and Data Refinement

Uses Software

• CASL
• Hets

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)