Title: A deterministic trace semantics for communicating sequel processes
First published: 1986