dblp.uni-trier.dewww.uni-trier.de

Lucia Acciai

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EELucia Acciai, Michele Boreale: Spatial and Behavioral Types in the Pi-Calculus. CONCUR 2008: 372-386
10EELucia Acciai, Michele Boreale: A Type System for Client Progress in a Service-Oriented Calculus. Concurrency, Graphs and Models 2008: 642-658
9EEMartin 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
8EELucia Acciai, Michele Boreale: XPi: A typed process calculus for XML messaging. Sci. Comput. Program. 71(2): 110-143 (2008)
7EELucia Acciai, Michele Boreale: Responsiveness in process calculi. Theor. Comput. Sci. 409(1): 59-93 (2008)
2007
6EELucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63
5EELucia Acciai, Michele Boreale: Type Abstractions of Name-Passing Processes. FSEN 2007: 302-317
2006
4EELucia Acciai, Michele Boreale: Responsiveness in Process Calculi. ASIAN 2006: 136-150
3EELucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Typed Calculus for Querying Distributed XML Documents. TGC 2006: 167-182
2EELucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions CoRR abs/cs/0610137: (2006)
2005
1EELucia Acciai, Michele Boreale: XPi: A Typed Process Calculus for XML Messaging. FMOODS 2005: 47-66

Coauthor Index

1Federico Banti [9]
2Michele Boreale [1] [2] [3] [4] [5] [6] [7] [8] [10] [11]
3Allan Clark [9]
4Silvano Dal-Zilio [2] [3] [6]
5Alessandro Fantechi [9]
6Stephen Gilmore (Stephen T. Gilmore) [9]
7Stefania Gnesi [9]
8László Gönczy [9]
9Matthias M. Hölzl [9]
10Nora Koch [9]
11Alessandro Lapadula [9]
12Philip Mayer [9]
13Franco Mazzanti [9]
14Rosario Pugliese [9]
15Andreas Schroeder [9]
16Francesco Tiezzi [9]
17Mirco Tribastone [9]
18Dániel Varró [9]
19Martin Wirsing [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)