Lucia Acciai

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Multiresolution

Topological Properties

Algebraic Structure

Top Venues

Sci. Comput. Program.

Publications

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
Behavioural contracts with request-response operations. Sci. Comput. Program. 78 (2) (2013)
Lucia Acciai, Michele Boreale
Deciding safety properties in infinite-state pi-calculus via behavioural types. Inf. Comput. 212 (2012)
Lucia Acciai, Michele Boreale, Rocco De Nicola
Linear-Time and May-Testing in a Probabilistic Reactive Setting. FMOODS/FORTE (2011)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
On the Relationship between Spatial Logics and Behavioral Simulations. FoSSaCS (2010)
Lucia Acciai, Michele Boreale
Spatial and behavioral types in the pi-calculus. Inf. Comput. 208 (10) (2010)
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
Behavioural Contracts with Request-Response Operations. COORDINATION (2010)
Lucia Acciai, Michele Boreale
Deciding Spatial and behavioral properties in the pi-calculus. ICTCS (2009)
Lucia Acciai, Michele Boreale
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. ICALP (2) (2009)
Lucia Acciai, Michele Boreale
Spatial and Behavioral Types in the Pi-Calculus. CONCUR (2008)
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)
Lucia Acciai, Michele Boreale
Responsiveness in process calculi. Theor. Comput. Sci. 409 (1) (2008)
Lucia Acciai, Michele Boreale
XPi: A typed process calculus for XML messaging. Sci. Comput. Program. 71 (2) (2008)
Lucia Acciai, Michele Boreale
A Type System for Client Progress in a Service-Oriented Calculus. Concurrency, Graphs and Models (2008)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Concurrent Calculus with Atomic Transactions. ESOP (2007)
Lucia Acciai, Michele Boreale
Type Abstractions of Name-Passing Processes. FSEN (2007)
Lucia Acciai, Michele Boreale
Responsiveness in Process Calculi. ASIAN (2006)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Typed Calculus for Querying Distributed XML Documents. TGC (2006)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Concurrent Calculus with Atomic Transactions CoRR (2006)
Lucia Acciai, Michele Boreale
XPi: A Typed Process Calculus for XML Messaging. FMOODS (2005)