Title: A model for communicating sequential processes
First published: 1981