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.

Abstract

Abstract is missing.