A Virtual Machine for a Process Calculus

Despite extensive theoretical work on process-calculi, virtual machine specications and implementations of actual computational models are still scarce