Retracing CSP

DOI10.1016/j.entcs.2006.01.028zbMath1316.68089OpenAlexW4230426519MaRDI QIDQ5262957

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

granularitydenotational semanticsconcurrencylogicshared memoryrace conditioncommunicating 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

• A calculus of communicating systems
• Full abstraction for a shared-variable parallel language
• A Theory of Communicating Sequential Processes
• Proving Liveness Properties of Concurrent Programs
• Communicating sequential processes
• CONCUR 2004 - Concurrency Theory
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Communicating Sequential Processes. The First 25 Years
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Retracing CSP