Ilaria Castellani

	2011
33		Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini: Information Flow Safety in Multiparty Sessions EXPRESS 2011: 16-30
	2010
32		Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk: Session Types for Access and Information Flow Control. CONCUR 2010: 237-252
	2008
31		Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel: Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models 2008: 757-777
	2007
30		Ilaria Castellani: State-oriented Noninterference for CCS. Electr. Notes Theor. Comput. Sci. 194(1): 39-60 (2007)
29		Ana Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007)
	2006
28		Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani: Reactive Concurrent Programming Revisited. Electr. Notes Theor. Comput. Sci. 162: 49-60 (2006)
	2005
27		Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot: Reactive concurrent programming revisited CoRR abs/cs/0512058: (2005)
	2002
26		Gérard Boudol, Ilaria Castellani: Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281(1-2): 109-130 (2002)
	2001
25		Gérard Boudol, Ilaria Castellani: Noninterference for Concurrent Programs. ICALP 2001: 382-395
	1999
24		Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan: Synthesizing Distributed Transition Systems from Global Specification. FSTTCS 1999: 219-231
23		Ilaria Castellani, Björn Victor: Preface. Electr. Notes Theor. Comput. Sci. 27: 1-2 (1999)
	1998
22		Ilaria Castellani, Matthew Hennessy: Testing Theories for Asynchronous Languages. FSTTCS 1998: 90-101
21		Ilaria Castellani, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 16(2): 171-172 (1998)
20		Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi: On Bisimulations for the Asynchronous pi-Calculus. Theor. Comput. Sci. 195(2): 291-324 (1998)
	1997
19		Ilaria Castellani, Guo-Qiang Zhang: Parallel Product of Event Structures. Theor. Comput. Sci. 179(1-2): 203-215 (1997)
	1996
18		Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi: On Bisimulations for the Asynchronous pi-Calculus. CONCUR 1996: 147-162
17		André Arnold, Ilaria Castellani: An Algebraic Characterization of Observational Equivalence. Theor. Comput. Sci. 156(1&2): 289-299 (1996)
	1995
16		Ilaria Castellani: Observing Distribution in Processes: Static and Dynamic Localities. Int. J. Found. Comput. Sci. 6(4): 353-393 (1995)
	1994
15		Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: A Theory of Processes with Localities. Formal Asp. Comput. 6(2): 165-200 (1994)
14		Gérard Boudol, Ilaria Castellani: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS Inf. Comput. 114(2): 247-314 (1994)
	1993
13		Ilaria Castellani: Observing Distribution in Processes. MFCS 1993: 321-331
12		Ilaria Castellani: Causal and Distributed Semantics for Concurrent Processes (Abstract). STACS 1993: 1
11		Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: Observing Localities. Theor. Comput. Sci. 114(1): 31-61 (1993)
	1992
10		Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: A Theory of Process with Localities (Extended Abstract). CONCUR 1992: 108-122
	1991
9		Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: Observing Localities (Extended Abstract). MFCS 1991: 93-102
	1990
8		Gérard Boudol, Ilaria Castellani: Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes 1990: 96-141
	1989
7		Ilaria Castellani, Matthew Hennessy: Distributed bisimulations. J. ACM 36(4): 887-911 (1989)
	1988
6		Gérard Boudol, Ilaria Castellani: Permutation of transitions: An event structure semantics for CCS and SCCS. REX Workshop 1988: 411-427
5		Gérard Boudol, Ilaria Castellani: Concurrency and Atomicity. Theor. Comput. Sci. 59: 25-84 (1988)
	1987
4		Gérard Boudol, Ilaria Castellani: On the Semantics of Concurrency: Partial Orders and Transition Systems. TAPSOFT, Vol.1 1987: 123-137
3		Ilaria Castellani: Bisimulations and Abstraction Homomorphisms. J. Comput. Syst. Sci. 34(2/3): 210-235 (1987)
	1985
2		Ilaria Castellani: Bisimulations and Abstraction Homomorphisms. TAPSOFT, Vol.1 1985: 223-238
	1982
1		Ilaria Castellani, Ugo Montanari: Graph Grammars for distributed systems. Graph-Grammars and Their Application to Computer Science 1982: 20-38

Coauthor Index

1	Roberto M. Amadio	[18] [20] [27] [28]
2	André Arnold	[17]
3	Gérard Boudol	[4] [5] [6] [8] [9] [10] [11] [14] [15] [25] [26] [27] [28] [29] [31]
4	Frédéric Boussinot	[27] [28]
5	Sara Capecchi	[32] [33]
6	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[32] [33]
7	Matthew Hennessy	[7] [9] [10] [11] [15] [22] [31]
8	Astrid Kiehn	[9] [10] [11] [15]
9	Ana Gualdina Almeida Matos (Ana Almeida Matos)	[29]
10	Ugo Montanari	[1]
11	Madhavan Mukund	[24]
12	Mogens Nielsen	[31]
13	Catuscia Palamidessi	[21]
14	Tamara Rezk	[32]
15	Davide Sangiorgi	[18] [20]
16	P. S. Thiagarajan	[24]
17	Björn Victor	[23]
18	Glynn Winskel	[31]
19	Guo-Qiang Zhang	[19]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page