Graph generation to statically represent CSP processes

DOI10.1007/978-3-642-20551-4_4MaRDI QIDQ3003484zbMATH OpenOpenAlexFDO

Authors Marisa Llorens, Josep Silva, Salvador Tamarit, J. Oliver

Publication date 27 May 2011

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10251/36090

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3890704
• The MEB and CEB Static Analysis for CSP Specifications
• Symbolic analysis tools for CSP
• A tracking semantics for CSP
• An algorithm for analyzing communicating processes

Cites work

• FM 2005: Formal Methods
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• The MEB and CEB Static Analysis for CSP Specifications

Cited in

(2)

• Static mapping of process graphs
• The MEB and CEB Static Analysis for CSP Specifications

Describes a project that uses

Uses Software

• ProB

This page was built for publication: Graph generation to statically represent CSP processes

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