Module Algebra
Separating and Collapsing Results on the Relativized Probabilistic Polynomial-Time Hierarchy
The Maximum Concurrent Flow Problem
Concurrency and Availability as Dual Properties of Replicated Atomic Data
A Trade-Off between Information and Communication in Broadcast Protocols
The Cost Distribution of Clustering in Random Probing
Lower Bounds for Orthogonal Range Searching: I. The Reporting Case
Faster Algorithms for the Shortest Path Problem
Cost-Error Relationships in A* Tree-Searching
On the Execution of Parallel Programs on Multiprocessor Systems-A Queuing Theory Approach
Nonclausal Deduction in First-Order Temporal Logic