@article{jalc110102, author = {Jing Chen}, title = {Timed Extensions of $\pi$ Calculus}, journal = jalc, year = 2006, volume = 11, number = 1, pages = {23--58} }