@gron

Compiling the π-calculus into a Multithreaded Typed Assembly Language

, , and . Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)

Links and resources

Tags