Structured CSP – A Process Algebra as an Institution

DOI10.1007/978-3-540-71998-4_6MaRDI QIDQ3591065zbMATH OpenOpenAlexFDO

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)

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

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)