A temporal calculus of communicating systems (1990)

by F Moller, C Tofts
Venue:in: Proceedings of the CONCUR’90