 | 2009 |
|---|
| 7 |       | Daniel Hirschkoff,
Aurélien Pardon,
Tom Hirschowitz,
Samuel Hym,
Damien Pous:
Encapsulation and Dynamic Modularity in the Pi-Calculus
CoRR abs/0906.5446: (2009) |
| 6 | | Daniel Hirschkoff,
Aurélien Pardon,
Tom Hirschowitz,
Samuel Hym,
Damien Pous:
Encapsulation and Dynamic Modularity in the pi-calculus.
Electr. Notes Theor. Comput. Sci. 241: 85-100 (2009) |
| 5 | | Samuel Hym:
Mobility control via passports.
Inf. Comput. 207(2): 171-193 (2009) |
| 2007 |
|---|
| 4 | | Samuel Hym:
Mobility Control Via Passports.
CONCUR 2007: 349-363 |
| 3 | | Samuel Hym,
Matthew Hennessy:
Adding recursion to Dpi.
Theor. Comput. Sci. 373(3): 182-212 (2007) |
| 2006 |
|---|
| 2 | | Frédéric Peschanski,
Samuel Hym:
A stackless runtime environment for a Pi-calculus.
VEE 2006: 57-67 |
| 1 | | Samuel Hym,
Matthew Hennessy:
Adding Recursion to Dpi: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 156(1): 115-133 (2006) |
