A temporal calculus of communicating systems (1990)

by F Moller, C Tofts
Venue:Proc. of CONCUR ‘90