Coordinated computing: tools and techniques for distributed software
Coordinated computing: tools and techniques for distributed software
Operating systems: concepts and design
Operating systems: concepts and design
Operating systems concepts
ACM Computing Surveys (CSUR)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
The Logical Design of Operating Systems
The Logical Design of Operating Systems
A concurrent algorithm for avoiding deadlocks in multiprocess multiple resource systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
A distributed algorithm for detecting resource deadlocks in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Hi-index | 0.01 |