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

Ilaria Castellani

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

2008
31EEGé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
30EEIlaria Castellani: State-oriented Noninterference for CCS. Electr. Notes Theor. Comput. Sci. 194(1): 39-60 (2007)
29EEAna Almeida Matos, Gérard Boudol, Ilaria Castellani: Typing noninterference for reactive programs. J. Log. Algebr. Program. 72(2): 124-156 (2007)
2006
28EERoberto 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
27EERoberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot: Reactive concurrent programming revisited CoRR abs/cs/0512058: (2005)
2002
26EEGérard Boudol, Ilaria Castellani: Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281(1-2): 109-130 (2002)
2001
25EEGérard Boudol, Ilaria Castellani: Noninterference for Concurrent Programs. ICALP 2001: 382-395
1999
24EEIlaria Castellani, Madhavan Mukund, P. S. Thiagarajan: Synthesizing Distributed Transition Systems from Global Specification. FSTTCS 1999: 219-231
23EEIlaria Castellani, Björn Victor: Preface. Electr. Notes Theor. Comput. Sci. 27: (1999)
1998
22 Ilaria Castellani, Matthew Hennessy: Testing Theories for Asynchronous Languages. FSTTCS 1998: 90-101
21EEIlaria Castellani, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 16(2): (1998)
20EERoberto M. Amadio, Ilaria Castellani, Davide Sangiorgi: On Bisimulations for the Asynchronous pi-Calculus. Theor. Comput. Sci. 195(2): 291-324 (1998)
1997
19EEIlaria 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
17EEAndré 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
7EEIlaria 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

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

Colors in the list of coauthors

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