| |
| 2004 | ||
|---|---|---|
| 4 | EE | Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier: A logic you can count on. POPL 2004: 135-146 |
| 2002 | ||
| 3 | Roberto M. Amadio, Charles Meyssonnier: On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. Nord. J. Comput. 9(1): 70-101 (2002) | |
| 2001 | ||
| 2 | EE | Roberto M. Amadio, Charles Meyssonnier: On the Decidability of Fragments of the Asynchronous pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
| 2000 | ||
| 1 | EE | Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna: delta-Approximable Functions. CCA 2000: 187-199 |
| 1 | Roberto M. Amadio | [2] [3] |
| 2 | Paolo Boldi | [1] |
| 3 | Silvano Dal-Zilio | [4] |
| 4 | Denis Lugiez | [4] |
| 5 | Sebastiano Vigna | [1] |