Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming (1996)

by N Francez, I Forman