All Items

The Computer Science of Concurrency: the Early Years

The Notions of Time and Global State in a Distributed System

The F# Asynchronous Programming Model

Erlang

Contracts for Concurrency

Death March

A Plea for Lean Software

MPI: a Message-Passing Interface

An Overview of Actor Languages

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