"Timed Process Algebra (With a Focus on Explicit Termination and ..."

Jos C. M. Baeten, Michel A. Reniers (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics