Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).

Jos C. M. Baeten Michel A. Reniers Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing). 59-97 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3185&spage=59 2004 conf/sfm/2004 SFM db/conf/sfm/sfm2004.html#BaetenR04