Distributed processes: a concurrent programming concept
Communications of the ACM
An alternative to event queues for synchronization in monitors
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Hi-index | 0.01 |