Symbolic analysis tools for CSP

DOI10.1007/978-3-319-10882-7_18MaRDI QIDQ2938170zbMATH OpenOpenAlexFDO

Authors Liyi Li, Elsa Gunter, William Mansky

Publication date 13 January 2015

Published in Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10882-7_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A tracking semantics for CSP
• Communicating Sequential Processes. The First 25 Years
• Retracing CSP
• Reducing complex CSP models to traces via priority
• Proof principles of CSP -- CSP-prover in practice

Cited in

(17)

• CSP is a retract of CCS
• Translating between models of concurrency
• Tools and Algorithms for the Construction and Analysis of Systems
• Reducing complex CSP models to traces via priority
• Retracing CSP
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• scientific article; zbMATH DE number 2090136 (Why is no real title available?)
• Philosophers May Dine - Definitively!
• scientific article; zbMATH DE number 2079674 (Why is no real title available?)
• A formal semantics of extended hierarchical state transition matrices using CSP\#
• scientific article; zbMATH DE number 3890704 (Why is no real title available?)
• A tracking semantics for CSP
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 35422 (Why is no real title available?)
• The design and use of a prolog trace generator for CSP
• Model checking CSP based on ASP and critical-trace model of CSP
• Graph generation to statically represent CSP processes

Describes a project that uses

Uses Software

• ProBE
• FDR3
• FDR2
• OCaml
• Maude
• mCRL2

This page was built for publication: Symbolic analysis tools for CSP

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