The algebra of timed processes, ATP: Theory and application (1994)

by X Nicollin, J Sifakis
Venue:Information and Computation