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

communicating processconcurrencydenotational semanticsgranularitylogicrace conditionshared memory

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

• A calculus of communicating systems
• A grainless semantics for parallel programs with shared mutable data
• A Theory of Communicating Sequential Processes
• Communicating sequential processes
• Communicating Sequential Processes. The First 25 Years
• CONCUR 2004 - Concurrency Theory
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Full abstraction for a shared-variable parallel language
• 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?)
• Proving Liveness Properties of Concurrent Programs

Cited in

(13)

• Revivals, stuckness and the hierarchy of CSP models
• A CSP model with flexible parallel termination semantics
• Tracking CSP computations
• Reducing complex CSP models to traces via priority
• Symbolic analysis tools for CSP
• A tracking semantics for CSP
• scientific article; zbMATH DE number 1231564 (Why is no real title available?)
• scientific article; zbMATH DE number 1241718 (Why is no real title available?)
• Why ever CSP?
• CSP Is a Retract of CCS
• Communicating Sequential Processes. The First 25 Years
• Communicating Sequential Processes. The First 25 Years
• CSP is a retract of CCS

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)