Lucia Acciai

	2012
19		Lucia Acciai, Michele Boreale: Deciding safety properties in infinite-state pi-calculus via behavioural types. Inf. Comput. 212: 92-117 (2012)
	2011
18		Lucia Acciai, Michele Boreale, Rocco De Nicola: Linear-Time and May-Testing in a Probabilistic Reactive Setting. FMOODS/FORTE 2011: 29-43
17		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
	2010
16		Lucia Acciai, Michele Boreale, Gianluigi Zavattaro: Behavioural Contracts with Request-Response Operations. COORDINATION 2010: 16-30
15		Lucia Acciai, Michele Boreale, Gianluigi Zavattaro: On the Relationship between Spatial Logics and Behavioral Simulations. FOSSACS 2010: 146-160
14		Lucia Acciai, Michele Boreale: Spatial and behavioral types in the pi-calculus. Inf. Comput. 208(10): 1118-1153 (2010)
	2009
13		Lucia Acciai, Michele Boreale: Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. ICALP (2) 2009: 31-42
12		Lucia Acciai, Michele Boreale: Deciding Spatial and behavioral properties in the pi-calculus. ICTCS 2009: 7-11
	2008
11		Lucia Acciai, Michele Boreale: Spatial and Behavioral Types in the Pi-Calculus. CONCUR 2008: 372-386
10		Lucia Acciai, Michele Boreale: A Type System for Client Progress in a Service-Oriented Calculus. Concurrency, Graphs and Models 2008: 642-658
9		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
8		Lucia Acciai, Michele Boreale: XPi: A typed process calculus for XML messaging. Sci. Comput. Program. 71(2): 110-143 (2008)
7		Lucia Acciai, Michele Boreale: Responsiveness in process calculi. Theor. Comput. Sci. 409(1): 59-93 (2008)
	2007
6		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63
5		Lucia Acciai, Michele Boreale: Type Abstractions of Name-Passing Processes. FSEN 2007: 302-317
	2006
4		Lucia Acciai, Michele Boreale: Responsiveness in Process Calculi. ASIAN 2006: 136-150
3		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Typed Calculus for Querying Distributed XML Documents. TGC 2006: 167-182
2		Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions CoRR abs/cs/0610137: (2006)
	2005
1		Lucia Acciai, Michele Boreale: XPi: A Typed Process Calculus for XML Messaging. FMOODS 2005: 47-66

Coauthor Index

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

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page