Impossibility Results for the Equational Theory of Timed CCS.

Luca Aceto Anna Ingólfsdóttir Mohammad Reza Mousavi Impossibility Results for the Equational Theory of Timed CCS. 80-95 2007 conf/calco/2007 CALCO http://dx.doi.org/10.1007/978-3-540-73859-6_6 db/conf/calco/calco2007.html#AcetoIM07