Compiling the pi-calculus into a Multithreaded Typed Assembly Language

Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos. Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electronic Notes in Theoretical Computer Science, 241:57-84, 2009. [doi]

Abstract

Abstract is missing.