Tiago Cogumbreiro Francisco Martins Vasco Thudichum Vasconcelos Compiling the pi-calculus into a Multithreaded Typed Assembly Language. 57-84 2009 241 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/j.entcs.2009.06.004 db/journals/entcs/entcs241.html#CogumbreiroMV09