Affiliation:
1. Queen's Univ. of Belfast, Belfast, Northern Ireland
Abstract
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of familiar programming exercises.
Publisher
Association for Computing Machinery (ACM)
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification and Security Analysis of AMQP;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02
2. Trace and Algebraic Semantics for Partial Store Order Memory Model;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02
3. Formalization and Verification of OpenStack Swift Using CSP;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02
4. Formalization and Verification of Percolator Using CSP;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02
5. Sibilla: A tool for reasoning about collective systems;Science of Computer Programming;2024-07