17 books • 1 series
Queuing Delay Modeling for Multistage Interconnection Multiprocessor Networks (Classic Reprint)
The Parallel Complexity of Deadlock Detection (Classic Reprint)
The Volume of the Union of Many Spheres and Point Inclusion Problems (Classic Reprint)
Very Fast Algorithms for the Area of the Union of Many Circles (Classic Reprint)
A Semantic Approach to Correctness, of Concurrent Transaction Executions (Classic Reprint)
Input Sensitive, Optimal Parallel Randomized Algorithms for Addition and Identification (Classic Reprint)
On the Shadow CPU Approximation for Modelling Priority Scheduling in Computer Systems (Classic Reprint)
The Effect of Restrictions on Relative Processor Speeds to Differences in Efficiency Between Synchronous and Asynchronous Systems (Classic Reprint)
A Semantic Approach to Correctness of Concurrent Transaction Executions
On the Combinatorial Complexity of Motion Coordination
On the Shadow CPU Approximation for Modelling Priority Scheduling in Computer Systems
Moving Many Pebbles in a Graph Is Polynomial Time
Probabilistic Techniques for Two Phase Locking in Database Systems
Very Fast Algorithms for the Area of the Union of Many Circles
Fast Probabilistic Techniques for Dynamic Parallel Addition, Parallel Counting and the Processor Identification Problem
Computer Network Epidemics
New Models for Population Protocols (Synthesis Lectures on Distributed Computing Theory)