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

(18)

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

Describes a project that uses

Uses Software

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

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)