"Decidability of infinite-state timed CCP processes and first-order LTL."

Frank D. Valencia (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics