CSP-CASL -- a new integration of process algebra and algebraic specification

DOI10.1016/J.TCS.2005.11.007MaRDI QIDQ2368940zbMATH OpenOpenAlexFDO

Authors Markus Roggenbach

Publication date 28 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.11.007

zbMATH Keywords

Algebraic specificationCASLCSPInstitutionProcess algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Structured CSP – A Process Algebra as an Institution
• CSP-CASL-Prover: a generic tool for process and data refinement
• Process algebras as specification language (work in progress)
• scientific article; zbMATH DE number 4016181
• Communicating Sequential Processes. The First 25 Years
• \textsc{CoCasl} at work -- modelling process algebra
• scientific article; zbMATH DE number 2172806
• Modular specification of process algebras
• From CML to its process algebra

Cites work

• CASL: the Common Algebraic Specification Language.
• Handbook of process algebra
• scientific article; zbMATH DE number 1629958 (Why is no real title available?)
• scientific article; zbMATH DE number 1696893 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Notes on the methodology of CCS and CSP
• Recent Trends in Algebraic Development Techniques
• Relating CASL with other specification languages: the institution level.
• The connection between an event structure semantics and an operational semantics for TCSP
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(12)

• A logic for the stepwise development of reactive systems
• \textsc{CoCasl} at work -- modelling process algebra
• Towards bialgebraic semantics for the linear time -- branching time spectrum
• Compositional modelling and reasoning in an institution for processes and data
• Dynamic logic with binders and its application to the development of reactive systems
• Property Preserving Refinement for Csp-Casl
• scientific article; zbMATH DE number 4213465 (Why is no real title available?)
• Structured CSP – A Process Algebra as an Institution
• Test selection for traces refinement
• CSP-CASL-Prover: a generic tool for process and data refinement
• scientific article; zbMATH DE number 2188495 (Why is no real title available?)
• Isabelle/Circus

Describes a project that uses

Uses Software

• CASL
• CSP-prover
• CoCasl

This page was built for publication: CSP-CASL -- a new integration of process algebra and algebraic specification

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