Compiling the π-calculus into a Multithreaded Typed Assembly Language

I have just uploaded: Compiling the π-calculus into a Multithreaded Typed Assembly Language. Tiago Cogumbreiro, Francisco Martins, and Vasco T. Vasconcelos. In Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software. 2008.

This is the paper I will be presenting in Oslo!

Compiling the π-calculus into a Multithreaded Typed Assembly Language

Read this doc on Scribd: Compiling the π-calculus into a Multithreaded Typed Assembly Language

Accepted in PLACES '08

I am really happy to announce that my first publication was accepted in the workshop PLACES '08! Thanks to GLOSS (a research team from LaSIGE) I will be presenting the paper in Oslo, Norway. The subject is about the formalization of the compiler from the π-calculus into MIL.