 | 2009 |
|---|
| 7 |       | Giorgio Delzanno,
Cinzia Di Giusto,
Maurizio Gabbrielli,
Cosimo Laneve,
Gianluigi Zavattaro:
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
CMSB 2009: 158-172 |
| 6 | | Cinzia Di Giusto,
Jorge A. Pérez,
Gianluigi Zavattaro:
On the Expressiveness of Forwarding in Higher-Order Communication.
ICTAC 2009: 155-169 |
| 5 | | Cinzia Di Giusto,
Maurizio Gabbrielli,
Maria Chiara Meo:
Expressiveness of Multiple Heads in CHR.
SOFSEM 2009: 205-216 |
| 2008 |
|---|
| 4 | | Cinzia Di Giusto,
Maurizio Gabbrielli:
Full Abstraction for Linda.
ESOP 2008: 78-92 |
| 3 | | Cinzia Di Giusto,
Maurizio Gabbrielli,
Maria Chiara Meo:
Expressiveness of multiple heads in CHR
CoRR abs/0804.3351: (2008) |
| 2007 |
|---|
| 2 | | 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 | | Jesús Aranda,
Cinzia Di Giusto,
Catuscia Palamidessi,
Frank D. Valencia:
On Recursion, Replication and Scope Mechanisms in Process Calculi.
FMCO 2006: 185-206 |
