A Virtual Machine for a Process Calculus

Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos. A Virtual Machine for a Process Calculus. In Gopalan Nadathur, editor, Principles and Practice of Declarative Programming, International Conference PPDP 99, Paris, France, September 29 - October 1, 1999, Proceedings. Volume 1702 of Lecture Notes in Computer Science, pages 244-260, Springer, 1999.

@inproceedings{LopesSV99,
  title = {A Virtual Machine for a Process Calculus},
  author = {Luís M. B. Lopes and Fernando M. A. Silva and Vasco Thudichum Vasconcelos},
  year = {1999},
  researchr = {https://researchr.org/publication/LopesSV99},
  cites = {0},
  citedby = {0},
  pages = {244-260},
  booktitle = {Principles and Practice of Declarative Programming, International Conference PPDP 99, Paris, France, September 29 - October 1, 1999, Proceedings},
  editor = {Gopalan Nadathur},
  volume = {1702},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66540-4},
}