Implementations of the CSP Notation for Concurrent Systems

DOI10.1093/COMJNL/29.6.500MaRDI QIDQ3741029zbMATH OpenOpenAlexFDO

Authors M. Elizabeth C. Hull

Publication date 1986

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/29.6.500

zbMATH Keywords

Communicating sequential processesimplementation

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Implementation of CSP-S for description of distributed algorithms
• Distributed Computing
• scientific article; zbMATH DE number 4050949
• SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
• Toward the concurrent implementation of computational systems
• scientific article; zbMATH DE number 2080332
• scientific article; zbMATH DE number 4094831
• Simulating truly concurrent CSP
• scientific article; zbMATH DE number 3956418
• Synthesis and equivalence of concurrent systems

Cited in

(9)

• Saturation of Concurrent Collapsible Pushdown Systems
• Communicating Sequential Processes for Centralized and Distributed Operating System Design
• Implementation of CSP-S for description of distributed algorithms
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• scientific article; zbMATH DE number 3924128 (Why is no real title available?)
• scientific article; zbMATH DE number 3967902 (Why is no real title available?)
• scientific article; zbMATH DE number 1487470 (Why is no real title available?)
• Occam—A programming language for multiprocessor systems
• Distributed Computing

This page was built for publication: Implementations of the CSP Notation for Concurrent Systems

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