| 2008 |
|---|
| 11 | EE | Lucia Acciai,
Michele Boreale:
Spatial and Behavioral Types in the Pi-Calculus.
CONCUR 2008: 372-386 |
| 10 | EE | Lucia Acciai,
Michele Boreale:
A Type System for Client Progress in a Service-Oriented Calculus.
Concurrency, Graphs and Models 2008: 642-658 |
| 9 | EE | Martin Wirsing,
Matthias M. Hölzl,
Lucia Acciai,
Federico Banti,
Allan Clark,
Alessandro Fantechi,
Stephen Gilmore,
Stefania Gnesi,
László Gönczy,
Nora Koch,
Alessandro Lapadula,
Philip Mayer,
Franco Mazzanti,
Rosario Pugliese,
Andreas Schroeder,
Francesco Tiezzi,
Mirco Tribastone,
Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
| 8 | EE | Lucia Acciai,
Michele Boreale:
XPi: A typed process calculus for XML messaging.
Sci. Comput. Program. 71(2): 110-143 (2008) |
| 7 | EE | Lucia Acciai,
Michele Boreale:
Responsiveness in process calculi.
Theor. Comput. Sci. 409(1): 59-93 (2008) |
| 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 |
