 | 2009 |
|---|
| 9 |       | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Explicit fairness in testing semantics
Logical Methods in Computer Science 5(2): (2009) |
| 2008 |
|---|
| 8 | | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Luca Tesei,
Leonardo Vito:
A model-prover for constrained dynamic conversations.
iiWAS 2008: 630-633 |
| 7 | | Diletta Cacciagrano,
Flavio Corradini,
Jesús Aranda,
Frank D. Valencia:
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.
Electr. Notes Theor. Comput. Sci. 194(2): 59-84 (2008) |
| 2007 |
|---|
| 6 | | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Fair Pi.
Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007) |
| 5 | | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Separation of synchronous and asynchronous communication via testing.
Theor. Comput. Sci. 386(3): 218-235 (2007) |
| 2006 |
|---|
| 4 | | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Leonardo Vito:
Dynamic Constraint-Based Invocation of Web Services.
WS-FM 2006: 138-147 |
| 3 | | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Separation of Synchronous and Asynchronous Communication Via Testing.
Electr. Notes Theor. Comput. Sci. 154(3): 95-108 (2006) |
| 2004 |
|---|
| 2 | | Diletta Cacciagrano,
Flavio Corradini:
Expressiveness of Timed Events and Timed Languages.
SFM 2004: 98-131 |
| 2001 |
|---|
| 1 | | Diletta Cacciagrano,
Flavio Corradini:
On Synchronous and Asynchronous Communication Paradigms.
ICTCS 2001: 256-268 |
