VOLUME 11

2006

NUMBER 1

Timed Extensions of π Calculus

Jing Chen

Pages 23–58

Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX

BibTeX:

@article{JALC-2006-023,
  author  = {Jing Chen},
  title   = {Timed Extensions of $\pi$ Calculus},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {11},
  number  = {1},
  pages   = {23--58},
  year    = {2006},
  url     = {https://doi.org/10.25596/jalc-2006-023},
  doi     = {10.25596/jalc-2006-023}
}