| 2008 |
|---|
| 4 | EE | Cinzia Di Giusto,
Maurizio Gabbrielli:
Full Abstraction for Linda.
ESOP 2008: 78-92 |
| 3 | EE | Cinzia Di Giusto,
Maurizio Gabbrielli,
Maria Chiara Meo:
Expressiveness of multiple heads in CHR
CoRR abs/0804.3351: (2008) |
| 2007 |
|---|
| 2 | EE | Jesús Aranda,
Cinzia Di Giusto,
Mogens Nielsen,
Frank D. Valencia:
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.
APLAS 2007: 383-398 |
| 2006 |
|---|
| 1 | EE | Jesús Aranda,
Cinzia Di Giusto,
Catuscia Palamidessi,
Frank D. Valencia:
On Recursion, Replication and Scope Mechanisms in Process Calculi.
FMCO 2006: 185-206 |
