ATP: an algebra for timed processes (1990)

by X Nicollin, J-L Richier, J Sifakis, J Voiron
Venue:In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Gallilee