Computer networks
A sound and complete Hoare axiomatization of the Ada-rendezvous
Ninth colloquium on Automata, languages, and programming.
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
The ``Hoare Logic'' of CSP, and All That
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Extended naming conventions for communicating processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic Analysis of Communicating Sequential Processes (Shortened Version)
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Procedures and concurrency: A study in proof
Proceedings of the 5th Colloquium on International Symposium on Programming
Proving safety and liveness of communicating processes with examples
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Refining knowledge oriented actions to layered implementations
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Constraints: a uniform approach to aliasing and typing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proof Rules for Flush Channels
IEEE Transactions on Software Engineering
Understanding and using asynchronous message passing (Preliminary Version)
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Implementation of hierarchical F-channels for high-performance distributed computing
Distributed Computing
A complete axiomatic semantics of spawning
Distributed Computing
| Hi-index | 0.00 |