2009 |
9 | EE | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Explicit fairness in testing semantics
CoRR abs/0904.2340: (2009) |
2008 |
8 | EE | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Luca Tesei,
Leonardo Vito:
A model-prover for constrained dynamic conversations.
iiWAS 2008: 630-633 |
7 | EE | 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 | EE | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Fair Pi.
Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007) |
5 | EE | Diletta Cacciagrano,
Flavio Corradini,
Catuscia Palamidessi:
Separation of synchronous and asynchronous communication via testing.
Theor. Comput. Sci. 386(3): 218-235 (2007) |
2006 |
4 | EE | Diletta Cacciagrano,
Flavio Corradini,
Rosario Culmone,
Leonardo Vito:
Dynamic Constraint-Based Invocation of Web Services.
WS-FM 2006: 138-147 |
3 | EE | 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 | EE | Diletta Cacciagrano,
Flavio Corradini:
Expressiveness of Timed Events and Timed Languages.
SFM 2004: 98-131 |
2001 |
1 | EE | Diletta Cacciagrano,
Flavio Corradini:
On Synchronous and Asynchronous Communication Paradigms.
ICTCS 2001: 256-268 |