| 2008 |
|---|
| 9 | EE | Mathias John,
Cédric Lhoussaine,
Joachim Niehren,
Adelinde M. Uhrmacher:
The Attributed Pi Calculus.
CMSB 2008: 83-102 |
| 2007 |
|---|
| 8 | EE | Céline Kuttler,
Cédric Lhoussaine,
Joachim Niehren:
A Stochastic Pi Calculus for Concurrent Objects.
AB 2007: 232-246 |
| 2004 |
|---|
| 7 | EE | Cédric Lhoussaine,
Vladimiro Sassone:
A Dependently Typed Ambient Calculus.
ESOP 2004: 171-187 |
| 6 | EE | Cédric Lhoussaine:
Type inference for a distributed \pi-calculus.
Sci. Comput. Program. 50(1-3): 225-251 (2004) |
| 2003 |
|---|
| 5 | EE | Cédric Lhoussaine:
Type Inference for a Distributed pi-Calculus.
ESOP 2003: 253-268 |
| 4 | EE | Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine:
The receptive distributed pi-calculus.
ACM Trans. Program. Lang. Syst. 25(5): 549-577 (2003) |
| 2002 |
|---|
| 3 | EE | Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine:
On message deliverability and non-uniform receptivity.
Fundam. Inform. 53(2): 105-129 (2002) |
| 1999 |
|---|
| 2 | EE | Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine:
The Receptive Distributed pi-Calculus (Extended Abstract).
FSTTCS 1999: 304-315 |
| 1 | EE | Laurent Audibert,
Cédric Lhoussaine,
Karl Schlechta:
Distance Based Revision of Preferential Logics.
Logic Journal of the IGPL 7(4): 429-446 (1999) |
