A Temporal Calculus of Communicating Processes (1990)

by F Moller, C Tofts
Venue:LNCS 458, proceedings of CONCUR '90 (Theories of Concurrency: Unification and Extension