A temporal calculus for communicating systems (1990)

by F Moller, C Tofts
Venue:In CONCUR’90, LNCS 458:401–415