Impossibility Results for the Equational Theory of Timed CCS.

Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi

Browse the full CALCO paper archive.