Retracing CSP

DOI10.1016/J.ENTCS.2006.01.028MaRDI QIDQ5262957zbMATH OpenOpenAlexFDO

Authors Stephen Brookes

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.01.028

zbMATH Keywords

concurrencygranularitylogicdenotational semanticsrace conditionshared memorycommunicating process

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• A CSP model with flexible parallel termination semantics
• A tracking semantics for CSP
• Symbolic analysis tools for CSP
• Why ever CSP?

Cites work

• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 3902017 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3742588 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• scientific article; zbMATH DE number 1927580 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A grainless semantics for parallel programs with shared mutable data
• CONCUR 2004 - Concurrency Theory
• Communicating Sequential Processes. The First 25 Years
• Communicating sequential processes
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Full abstraction for a shared-variable parallel language
• Proving Liveness Properties of Concurrent Programs

Cited in

(11)

• Tracking CSP computations
• Revivals, stuckness and the hierarchy of CSP models
• A tracking semantics for CSP
• Communicating Sequential Processes. The First 25 Years
• Symbolic analysis tools for CSP
• CSP Is a Retract of CCS
• A CSP model with flexible parallel termination semantics
• Reducing complex CSP models to traces via priority
• Communicating Sequential Processes. The First 25 Years
• CSP is a retract of CCS
• Why ever CSP?

This page was built for publication: Retracing CSP

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