Compiling the pi-calculus into a multi-threaded typed assembly language

Tiago CogumbreiroFrancisco MartinsVasco T. Vasconcelos2010-05-212014-11-142010-05-212014-11-1420082008http://hdl.handle.net/10451/15021http://repositorio.ul.pt/handle/10455/6584engComputer ScienceCompiling the pi-calculus into a multi-threaded typed assembly languagejournal article