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

DOI10.1016/j.tcs.2005.11.007zbMath1088.68132OpenAlexW2141730280MaRDI QIDQ2368940

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

CSPProcess algebraCASLAlgebraic specificationInstitution

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)

Related Items

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, Test selection for traces refinement, CSP-CASL-Prover: A Generic Tool for Process and Data Refinement, A logic for the stepwise development of reactive systems

Uses Software

• CASL
• CSP-prover
• CoCasl

Cites Work

• The connection between an event structure semantics and an operational semantics for TCSP
• Notes on the methodology of CCS and CSP
• CASL: the Common Algebraic Specification Language.
• Relating CASL with other specification languages: the institution level.
• Institutions: abstract model theory for specification and programming
• Tools and Algorithms for the Construction and Analysis of Systems
• Recent Trends in Algebraic Development Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item