Structured CSP – A Process Algebra as an Institution

DOI10.1007/978-3-540-71998-4_6MaRDI QIDQ3591065zbMATHOpenAlexFDO

Authors Till Mossakowski, Markus Roggenbach

Publication date 10 September 2007

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-540-71998-4_6

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

• CSP-CASL -- a new integration of process algebra and algebraic specification
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 937812
• scientific article; zbMATH DE number 139606
• From CML to its process algebra
• Process algebras as specification language (work in progress)
• scientific article; zbMATH DE number 17696

Cited in

(10)

• CSP-CASL -- a new integration of process algebra and algebraic specification
• CSP with Hierarchical State
• An institution for graph transformation
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Property Preserving Refinement for Csp-Casl
• Angelic processes for CSP via the UTP
• Complete model-based equivalence class testing for nondeterministic systems
• Compositional modelling and reasoning in an institution for processes and data
• Translating Testing Theories for Concurrent Systems
• CSP-CASL-Prover: a generic tool for process and data refinement

This page was built for publication: Structured CSP – A Process Algebra as an Institution

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