| |
| 2008 | ||
|---|---|---|
| 2 | EE | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi: Static and dynamic typing for the termination of mobile processes. IFIP TCS 2008: 413-427 |
| 2007 | ||
| 1 | EE | Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi: On the Complexity of Termination Inference for Processes. TGC 2007: 140-155 |
| 1 | Daniel Hirschkoff | [1] [2] |
| 2 | Naoki Kobayashi | [1] |
| 3 | Davide Sangiorgi | [1] [2] |