An Efficient General-Purpose Parallel Computer
A Characterization of Product-Form Queuing Networks
Analysis of the Search Performance of Coalesced Hashing
On Communicating Finite-State Machines
Abstract Implementations and Their Correctness Proofs
Computable Error Bounds for Aggregated Markov Chains
Decentralized Simulation of Resource Managers
The Complexity of LALR(k) Testing