Frédéric Peschanski Samuel Hym A stackless runtime environment for a Pi-calculus. 57-67 2006 conf/vee/2006 VEE http://doi.acm.org/10.1145/1134760.1134770 db/conf/vee/vee2006.html#PeschanskiH06