A tracking semantics for CSP

DOI10.1007/978-3-642-13321-3_15MaRDI QIDQ3575275zbMATH OpenOpenAlexFDO

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

Publication date 26 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13321-3_15

zbMATH Keywords

concurrent programmingCSPsemanticstracking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Tracking CSP computations
• Communicating Sequential Processes. The First 25 Years
• Retracing CSP
• Symbolic analysis tools for CSP
• scientific article; zbMATH DE number 4050949

Cited in

(7)

• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• Tracking CSP computations
• Symbolic analysis tools for CSP
• Graph generation to statically represent CSP processes
• scientific article; zbMATH DE number 35422 (Why is no real title available?)
• Retracing CSP
• Communicating Sequential Processes. The First 25 Years

Describes a project that uses

Uses Software

• CSP

This page was built for publication: A tracking semantics for CSP

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