Jens Chr. Godskesen;Kim Guldstrand Larsen
-;-
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae