Lucia Acciai

According to our database, Lucia Acciai authored at least 14 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Behavioural contracts with request-response operations.

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro

Sci. Comput. Program., 2013

2012

Deciding safety properties in infinite-state pi-calculus via behavioural types.

Lucia Acciai, Michele Boreale

Inf. Comput., 2012

2011

Linear-Time and May-Testing in a Probabilistic Reactive Setting.

Lucia Acciai, Michele Boreale, Rocco De Nicola

Proceedings of the Formal Techniques for Distributed Systems, 2011

Static Analysis Techniques for Session-Oriented Calculi.

Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Spatial and behavioral types in the pi-calculus.

Lucia Acciai, Michele Boreale

Inf. Comput., 2010

On the Relationship between Spatial Logics and Behavioral Simulations.

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Deciding Spatial and behavioral properties in the pi-calculus.

Lucia Acciai, Michele Boreale

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008

Responsiveness in process calculi.

Lucia Acciai, Michele Boreale

Theor. Comput. Sci., 2008

XPi: A typed process calculus for XML messaging.

Lucia Acciai, Michele Boreale

Sci. Comput. Program., 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, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Type System for Client Progress in a Service-Oriented Calculus.

Lucia Acciai, Michele Boreale

Proceedings of the Concurrency, 2008

2007

Type Abstractions of Name-Passing Processes.

Lucia Acciai, Michele Boreale

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

A Concurrent Calculus with Atomic Transactions.

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

Proceedings of the Programming Languages and Systems, 2007

2006

A Typed Calculus for Querying Distributed XML Documents.

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006