| |
| 2009 | ||
|---|---|---|
| 5 | EE | Samuel Hym: Mobility control via passports. Inf. Comput. 207(2): 171-193 (2009) |
| 2007 | ||
| 4 | EE | Samuel Hym: Mobility Control Via Passports. CONCUR 2007: 349-363 |
| 3 | EE | Samuel Hym, Matthew Hennessy: Adding recursion to Dpi. Theor. Comput. Sci. 373(3): 182-212 (2007) |
| 2006 | ||
| 2 | EE | Frédéric Peschanski, Samuel Hym: A stackless runtime environment for a Pi-calculus. VEE 2006: 57-67 |
| 1 | EE | Samuel Hym, Matthew Hennessy: Adding Recursion to Dpi: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 156(1): 115-133 (2006) |
| 1 | Matthew Hennessy | [1] [3] |
| 2 | Frédéric Peschanski | [2] |