Analysis of Interleaved Storage Via a Constant-Service Queuing System with Markov-Chain-Driven Input.
Storing a Sparse Table with 0(1) Worst Case Access Time.
A Mechanical Proof of the Unsolvability of the Halting Problem.
Efficient Schemes for Parallel Communication.
Graph Problems on a Mesh-Connected Processor Array.
A Formal Method for the Abstract Specification of Software.
On the Optimal Solution of Large Linear Systems.
A Theory of Communicating Sequential Processes.
An End-to-End Approach to the Resequencing Problem.
The Format Model: A Theory of database Organization.
Synthesis of a Class of Deadlock-Free Petri Nets.
A Polynomial Linear Search Algorithm for the n-Dimensional Knapsack Problem.
Solving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems.