An Abstract Machine for a Higher-Order Distributed Process Calculus

Florence Germain, Marc Lacoste, Jean-Bernard Stefani. An Abstract Machine for a Higher-Order Distributed Process Calculus. Electronic Notes in Theoretical Computer Science, 66(3):145-169, 2002. [doi]

Abstract

Abstract is missing.