Compiling the π-calculus into a Multithreaded Typed Assembly Language - Tiago Cogumbreiro (2010)