Retracing CSP

DOI10.1016/J.ENTCS.2006.01.028zbMATH Open1316.68089OpenAlexW4230426519MaRDI QIDQ5262957FDOQ5262957

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

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?

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of communicating systems
• Full abstraction for a shared-variable parallel language
• A grainless semantics for parallel programs with shared mutable data
• Title not available (Why is that?)
• Communicating sequential processes
• CONCUR 2004 - Concurrency Theory
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• A Theory of Communicating Sequential Processes
• Title not available (Why is that?)
• Proving Liveness Properties of Concurrent Programs
• Title not available (Why is that?)
• Communicating Sequential Processes. The First 25 Years
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• CSP is a retract of CCS
• Communicating Sequential Processes. The First 25 Years
• A CSP model with flexible parallel termination semantics
• Revivals, stuckness and the hierarchy of CSP models
• CSP Is a Retract of CCS
• A tracking semantics for CSP
• Communicating Sequential Processes. The First 25 Years

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)