Lucia Acciai

20 papers A 1B 2C 2Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2013 J jnl
Behavioural contracts with request-response operations.
Sci. Comput. Program.
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2012 J jnl
Deciding safety properties in infinite-state pi-calculus via behavioural types.
Inf. Comput.
Lucia Acciai, Michele Boreale
2011 — conf
Linear-Time and May-Testing in a Probabilistic Reactive Setting.
FMOODS/FORTE
Lucia Acciai, Michele Boreale, Rocco De Nicola
2011 — ch.
Static Analysis Techniques for Session-Oriented Calculi.
Results of the SENSORIA Project
Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira
2010 C conf
Behavioural Contracts with Request-Response Operations.
COORDINATION
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2010 B conf
On the Relationship between Spatial Logics and Behavioral Simulations.
FoSSaCS
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
2010 J jnl
Spatial and behavioral types in the pi-calculus.
Inf. Comput.
Lucia Acciai, Michele Boreale
2009 — conf
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.
ICALP (2)
Lucia Acciai, Michele Boreale
2009 — conf
Deciding Spatial and behavioral properties in the pi-calculus.
ICTCS
Lucia Acciai, Michele Boreale
2008 — conf
A Type System for Client Progress in a Service-Oriented Calculus.
Concurrency, Graphs and Models
Lucia Acciai, Michele Boreale
2008 J jnl
Responsiveness in process calculi.
Theor. Comput. Sci.
Lucia Acciai, Michele Boreale
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
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ó
2008 B conf
Spatial and Behavioral Types in the Pi-Calculus.
CONCUR
Lucia Acciai, Michele Boreale
2008 J jnl
XPi: A typed process calculus for XML messaging.
Sci. Comput. Program.
Lucia Acciai, Michele Boreale
2007 A conf
A Concurrent Calculus with Atomic Transactions.
ESOP
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
2007 — conf
Type Abstractions of Name-Passing Processes.
FSEN
Lucia Acciai, Michele Boreale
2006 J jnl
A Concurrent Calculus with Atomic Transactions
CoRR
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
2006 — conf
A Typed Calculus for Querying Distributed XML Documents.
TGC
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
2006 — conf
Responsiveness in Process Calculi.
ASIAN
Lucia Acciai, Michele Boreale
2005 — conf
XPi: A Typed Process Calculus for XML Messaging.
FMOODS
Lucia Acciai, Michele Boreale