How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

Proving the Correctness of Multiprocess Programs

1977 • 1,087 citations

Hierarchical ordering of sequential processes

1971 • 776 citations

Verifying properties of parallel programs

1976 • 536 citations