Computing Foundations

The Computer Science of Concurrency: the Early Years

The Notions of Time and Global State in a Distributed System

Defining Liveness

Why do Computers Stop and What can be Done About It?

A Theory of Communicating Sequential Processes

Principles of Transaction-Oriented Database Recovery

Can Programming be Liberated from the Von Neumann Style?: a Functional Style and its Algebra of Programs

Communicating Sequential Processes

Guarded Commands, Nondeterminacy and Formal Derivation of Programs

Bakery Algorithm

Self-Stabilizing Systems in Spite of Distributed Control

Co-operating Sequential Processes

Fork and Join