Communicating sequential processes
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program struct...
Publications
5 shownProof of a program
A proof is given of the correctness of the algorithm “Find.” First, an informal description is given of the purpose of the program and the method used. A systematic technique is...
Communicating sequential processes
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program struct...
Frequent Co-Authors
Researcher Info
- h-index
- 5
- Publications
- 5
- Citations
- 7,731
- Institution
- National University of Ireland
External Links
Impact Metrics
h-index
5
h-index: Number of publications with at least h citations each.