| 2007 |
|---|
| 19 | EE | Lucia Acciai,
Michele Boreale,
Silvano Dal-Zilio:
A Concurrent Calculus with Atomic Transactions.
ESOP 2007: 48-63 |
| 2006 |
|---|
| 18 | EE | Lucia Acciai,
Michele Boreale,
Silvano Dal-Zilio:
A Typed Calculus for Querying Distributed XML Documents.
TGC 2006: 167-182 |
| 17 | EE | Lucia Acciai,
Michele Boreale,
Silvano Dal-Zilio:
A Concurrent Calculus with Atomic Transactions
CoRR abs/cs/0610137: (2006) |
| 16 | EE | Roberto M. Amadio,
Silvano Dal-Zilio:
Resource control for synchronous cooperative threads.
Theor. Comput. Sci. 358(2-3): 229-254 (2006) |
| 2005 |
|---|
| 15 | EE | Silvano Dal-Zilio,
Régis Gascon:
Resource Bound Certification for a Tail-Recursive Virtual Machine.
APLAS 2005: 247-263 |
| 14 | EE | Roberto M. Amadio,
Silvano Dal-Zilio:
Resource Control for Synchronous Cooperative Threads
CoRR abs/cs/0512057: (2005) |
| 2004 |
|---|
| 13 | EE | Roberto M. Amadio,
Silvano Dal-Zilio:
Resource Control for Synchronous Cooperative Threads.
CONCUR 2004: 68-82 |
| 12 | EE | Roberto M. Amadio,
Solange Coupet-Grimal,
Silvano Dal-Zilio,
Line Jakubiec:
A Functional Scenario for Bytecode Verification of Resource Bounds.
CSL 2004: 265-279 |
| 11 | EE | Silvano Dal-Zilio,
Denis Lugiez,
Charles Meyssonnier:
A logic you can count on.
POPL 2004: 135-146 |
| 2003 |
|---|
| 10 | EE | Silvano Dal-Zilio,
Denis Lugiez:
XML Schema, Tree Logic and Sheaves Automata.
RTA 2003: 246-263 |
| 9 | EE | Silvano Dal-Zilio,
Enrico Formenti:
On the Dynamics of PB Systems: A Petri Net View.
Workshop on Membrane Computing 2003: 153-167 |
| 8 | EE | Witold Charatonik,
Silvano Dal-Zilio,
Andrew D. Gordon,
Supratik Mukhopadhyay,
Jean-Marc Talbot:
Model checking mobile ambients.
Theor. Comput. Sci. 308(1-3): 277-331 (2003) |
| 2002 |
|---|
| 7 | | Silvano Dal-Zilio,
Andrew D. Gordon:
Region analysis and a pi-calculus with groups.
J. Funct. Program. 12(3): 229-292 (2002) |
| 2001 |
|---|
| 6 | EE | Witold Charatonik,
Silvano Dal-Zilio,
Andrew D. Gordon,
Supratik Mukhopadhyay,
Jean-Marc Talbot:
The Complexity of Model Checking Mobile Ambients.
FoSSaCS 2001: 152-167 |
| 2000 |
|---|
| 5 | EE | Silvano Dal-Zilio:
Spatial Congruence for Ambients Is Decidable.
ASIAN 2000: 88-103 |
| 4 | EE | Silvano Dal-Zilio:
An Interpretation of Typed Concurrent Objects in the Blue Calculus.
IFIP TCS 2000: 409-424 |
| 3 | EE | Silvano Dal-Zilio,
Andrew D. Gordon:
Region Analysis and a pi-Calculus wiht Groups.
MFCS 2000: 1-20 |
| 2 | EE | Silvano Dal-Zilio:
Mobile Processes: A Commented Bibliography.
MOVEP 2000: 206-222 |
| 1999 |
|---|
| 1 | EE | Gérard Boudol,
Silvano Dal-Zilio:
An Interpretation of Extensible Objects.
FCT 1999: 148-160 |
