GEM

Time, clocks, and the ordering of events in a distributed system

1978 • 8,416 citations

The temporal logic of programs

1977 • 5,553 citations

Communicating sequential processes

1983 • 3,865 citations

The Semantics of a Simple Language for Parallel Programming.

1974 • 2,171 citations

Monitors

1974 • 1,497 citations

Communicating Sequential Processes

1978 • 1,468 citations

Denotational semantics: The scott-strachey approach to programming language theory

1983 • 1,264 citations

Reference Manual for the ADA Programming Language

1983 • 674 citations

A Powerdomain Construction

1976 • 630 citations

Operating System Principles

1973 • 617 citations

Proving Liveness Properties of Concurrent Programs

1982 • 582 citations

Verifying properties of parallel programs

1976 • 536 citations

The specification of process synchronization by path expressions

2005 • 460 citations

Monitors: An Operating System Structuring Concept

1974 • 350 citations

Laws for Communicating Parallel Processes

1977 • 183 citations

Concurrent Processes and Their Syntax

1979 • 171 citations

Verifying Concurrent Processes Using Temporal Logic

1982 • 134 citations

On the composition of processes

1982 • 105 citations

A New Approach to Proving the Correctness of Multiprocess Programs

1979 • 82 citations

Consistency and correctness of duplicate database systems

1977 • 73 citations

SEMANTICS OF COMMUNICATING PARALLEL PROCESSES

1975 • 66 citations

Consistency and correctness of duplicate database systems

1977 • 29 citations

Verifying Properties of Parallel Programs : An Axiomatic Approach

1976 • 24 citations

Models of Distributed Computing

2001 • 16 citations

SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE

1979 • 7 citations

Specification and analysis of concurrency

1984 • 6 citations

Control and communication in programmed systems

1980 • 4 citations

Automatic Verification of Serializers.

1980 • 2 citations