An overview and synthesis on timed process algebras (1992)

by X Nicollin, J Sifakis
Venue:in: Proceedings of the CAV’91 Third International Workshop Computer Aided Verification