J. Chen Timed Extensions of p Calculus. 23-58 2006 11 Journal of Automata, Languages and Combinatorics 1 db/journals/jalc/jalc11.html#Chen06