Axiomatising finite delay operators
Acta Informatica
Viewing Ada from a process model perspective
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Semantics of CSP via Translation into CCS
Proceedings on Mathematical Foundations of Computer Science
Semantics of Networks Containing Indeterminate Operators
Seminar on Concurrency, Carnegie-Mellon University
The NIL Distributed Systems Programming Language: A Status Report
Seminar on Concurrency, Carnegie-Mellon University
Lectures on a Calculus for Communicating Systems
Seminar on Concurrency, Carnegie-Mellon University
On the Semantics of Fair Parallelism
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
A formal description of the UNIX operating system
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
NIL: An integrated language and system for distributed programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Hi-index | 0.00 |