Sequence Types for the pi-calculus

@article{Maffeis2005SequenceTF,
  title={Sequence Types for the pi-calculus},
  author={Sergio Maffeis},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2005},
  volume={136},
  pages={117-132}
}

From This Paper

Topics from this paper.
5 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…