J. Chen. Timed Extensions of p Calculus. Journal of Automata, Languages and Combinatorics, 11(1):23-58, 2006.
@article{Chen06:33, title = {Timed Extensions of p Calculus}, author = {J. Chen}, year = {2006}, researchr = {https://researchr.org/publication/Chen06%3A33}, cites = {0}, citedby = {0}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {11}, number = {1}, pages = {23-58}, }