Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Lucia Acciai
2010 – today
- 2013
[j5]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro: Behavioural contracts with request-response operations. Sci. Comput. Program. 78(2): 248-267 (2013)- 2012
- [j4]Lucia Acciai, Michele Boreale: Deciding safety properties in infinite-state pi-calculus via behavioural types. Inf. Comput. 212: 92-117 (2012)
- 2011
- [p1]Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira: Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 214-231
- [c13]Lucia Acciai, Michele Boreale, Rocco De Nicola: Linear-Time and May-Testing in a Probabilistic Reactive Setting. FMOODS/FORTE 2011: 29-43
- 2010
- [j3]Lucia Acciai, Michele Boreale: Spatial and behavioral types in the pi-calculus. Inf. Comput. 208(10): 1118-1153 (2010)
- [c12]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro: Behavioural Contracts with Request-Response Operations. COORDINATION 2010: 16-30
- [c11]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro: On the Relationship between Spatial Logics and Behavioral Simulations. FOSSACS 2010: 146-160
2000 – 2009
- 2009
- [c10]Lucia Acciai, Michele Boreale: Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. ICALP (2) 2009: 31-42
- [c9]Lucia Acciai, Michele Boreale: Deciding Spatial and behavioral properties in the pi-calculus. ICTCS 2009: 7-11
- 2008
- [j2]Lucia Acciai, Michele Boreale: XPi: A typed process calculus for XML messaging. Sci. Comput. Program. 71(2): 110-143 (2008)
- [j1]Lucia Acciai, Michele Boreale: Responsiveness in process calculi. Theor. Comput. Sci. 409(1): 59-93 (2008)
- [c8]Lucia Acciai, Michele Boreale: A Type System for Client Progress in a Service-Oriented Calculus. Concurrency, Graphs and Models 2008: 642-658
- [c7]Lucia Acciai, Michele Boreale: Spatial and Behavioral Types in the Pi-Calculus. CONCUR 2008: 372-386
- [c6]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: 170-190
- 2007
- [c5]Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63
- [c4]
- 2006
- [c3]
- [c2]Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Typed Calculus for Querying Distributed XML Documents. TGC 2006: 167-182
- [i1]Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. CoRR abs/cs/0610137 (2006)
- 2005
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:28 CET by the dblp team