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