Lucia Acciai

According to our database, Lucia Acciai authored at least 14 papers between 2005 and 2011.

Collaborative distances:

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

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

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

Behavioural Contracts with Request-Response Operations.

Lucia Acciai, Michele Boreale, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages, 12th International Conference, 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

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.

Lucia Acciai, Michele Boreale

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

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

Spatial and Behavioral Types in the Pi-Calculus.

Lucia Acciai, Michele Boreale

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 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

Responsiveness in Process Calculi.

Lucia Acciai, Michele Boreale

Proceedings of the Advances in Computer Science, 2006

2005

XPi: A Typed Process Calculus for XML Messaging.

Lucia Acciai, Michele Boreale

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005