| |
| 2007 | ||
|---|---|---|
| 6 | EE | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63 |
| 5 | EE | Lucia Acciai, Michele Boreale: Type Abstractions of Name-Passing Processes. FSEN 2007: 302-317 |
| 2006 | ||
| 4 | EE | Lucia Acciai, Michele Boreale: Responsiveness in Process Calculi. ASIAN 2006: 136-150 |
| 3 | EE | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Typed Calculus for Querying Distributed XML Documents. TGC 2006: 167-182 |
| 2 | EE | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions CoRR abs/cs/0610137: (2006) |
| 2005 | ||
| 1 | EE | Lucia Acciai, Michele Boreale: XPi: A Typed Process Calculus for XML Messaging. FMOODS 2005: 47-66 |
| 1 | Michele Boreale | [1] [2] [3] [4] [5] [6] |
| 2 | Silvano Dal-Zilio | [2] [3] [6] |