Compiling the pi-calculus into a multi-threaded typed assembly language - Tiago Cogumbreiro (2010)