Title: A theory of communicating sequential processes
First published: 1981