 | 2011 |
|---|
| 8 |       | Romain Demangeon,
Kohei Honda:
Full Abstraction in a Subtyped pi-Calculus with Linear Types.
CONCUR 2011: 280-296 |
| 7 | | Romain Demangeon,
Daniel Hirschkoff,
Davide Sangiorgi:
Strong Normalisation in λ-Calculi with References.
FSEN 2011: 128-142 |
| 2010 |
|---|
| 6 | | Romain Demangeon,
Daniel Hirschkoff,
Davide Sangiorgi:
Termination in Impure Concurrent Languages.
CONCUR 2010: 328-342 |
| 5 | | Romain Demangeon,
Daniel Hirschkoff,
Davide Sangiorgi:
Termination in higher-order concurrent calculi.
J. Log. Algebr. Program. 79(7): 550-577 (2010) |
| 2009 |
|---|
| 4 | | Romain Demangeon,
Daniel Hirschkoff,
Davide Sangiorgi:
Termination in Higher-Order Concurrent Calculi.
FSEN 2009: 81-96 |
| 3 | | Romain Demangeon,
Daniel Hirschkoff,
Davide Sangiorgi:
Mobile Processes and Termination.
Semantics and Algebraic Specification 2009: 250-273 |
| 2008 |
|---|
| 2 | | Romain Demangeon,
Daniel Hirschkoff,
Davide Sangiorgi:
Static and dynamic typing for the termination of mobile processes.
IFIP TCS 2008: 413-427 |
| 2007 |
|---|
| 1 | | Romain Demangeon,
Daniel Hirschkoff,
Naoki Kobayashi,
Davide Sangiorgi:
On the Complexity of Termination Inference for Processes.
TGC 2007: 140-155 |
Data released under the ODC-BY 1.0 license — See also our legal information page