Implementation of CSP-S for description of distributed algorithms

DOI10.1016/0096-0551(84)90005-5MaRDI QIDQ3339271zbMATH OpenOpenAlexFDO

Authors

Publication date 1984

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(84)90005-5

zbMATH Keywords

compilerconcurrencydistributed programmingguarded commandimplementation of CSP-S

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• CSM: A Distributed Programming Language
• scientific article; zbMATH DE number 4050949
• Implementations of the CSP Notation for Concurrent Systems
• A shared memory algorithm and proof for the generalized alternative construct in CSP
• scientific article; zbMATH DE number 3947613

Cited in

(6)

• A shared memory algorithm and proof for the generalized alternative construct in CSP
• scientific article; zbMATH DE number 3947613 (Why is no real title available?)
• Implementations of the CSP Notation for Concurrent Systems
• : A distributed real-time logic language
• CSM: A Distributed Programming Language
• Communicating Sequential Processes. The First 25 Years

This page was built for publication: Implementation of CSP-S for description of distributed algorithms

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