Retracing CSP
From MaRDI portal
Publication:5262957
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
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)
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)