| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi: Mobile Processes and Termination. Semantics and Algebraic Specification 2009: 250-273 |
| 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] [3] |
| 2 | Naoki Kobayashi | [1] |
| 3 | Davide Sangiorgi | [1] [2] [3] |