A Typed Calculus for Querying Distributed XML Documents. - Lucia Acciai; Michele Boreale; Silvano Dal-Zilio (TGC, 2006)

A Concurrent Calculus with Atomic Transactions. - Lucia Acciai; Michele Boreale; Silvano Dal-Zilio (ESOP, 2007)

Type Abstractions of Name-Passing Processes. - Lucia Acciai; Michele Boreale (FSEN, 2007)

A Type System for Client Progress in a Service-Oriented Calculus. - Lucia Acciai; Michele Boreale (Concurrency, Graphs and Models, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - 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; et al. (ISoLA, 2008)

XPi: A typed process calculus for XML messaging. - Lucia Acciai; Michele Boreale (Sci. Comput. Program., 2008)

Responsiveness in process calculi. - Lucia Acciai; Michele Boreale (Theor. Comput. Sci., 2008)

Deciding Spatial and behavioral properties in the pi-calculus. - Lucia Acciai; Michele Boreale (ICTCS, 2009)

On the Relationship between Spatial Logics and Behavioral Simulations. - Lucia Acciai; Michele Boreale; Gianluigi Zavattaro (FoSSaCS, 2010)

Spatial and behavioral types in the pi-calculus. - Lucia Acciai; Michele Boreale (Inf. Comput., 2010)

Static Analysis Techniques for Session-Oriented Calculi. - Lucia Acciai; Chiara Bodei; Michele Boreale; Roberto Bruni 001; Hugo Torres Vieira (Results of the SENSORIA Project, 2011)

Linear-Time and May-Testing in a Probabilistic Reactive Setting. - Lucia Acciai; Michele Boreale; Rocco De Nicola (FMOODS/FORTE, 2011)

Deciding safety properties in infinite-state pi-calculus via behavioural types. - Lucia Acciai; Michele Boreale (Inf. Comput., 2012)

Behavioural contracts with request-response operations. - Lucia Acciai; Michele Boreale; Gianluigi Zavattaro (Sci. Comput. Program., 2013)