Ilaria Castellani
Ilaria Castellani
Researcher in Theoretical Computer Science, INRIA, France
Dirección de correo verificada de inria.fr
TítuloCitado porAño
On bisimulations for the asynchronous π-calculus
RM Amadio, I Castellani, D Sangiorgi
Theoretical Computer Science 195 (2), 291-324, 1998
2371998
Noninterference for concurrent programs and thread systems
G Boudol, I Castellani
Theoretical Computer Science 281 (1-2), 109-130, 2002
1692002
On bisimulations for the asynchronous π-calculus
RM Amadio, I Castellani, D Sangiorgi
International Conference on Concurrency Theory, 147-162, 1996
1631996
Permutation of transitions: An event structure semantics for CCS and SCCS
G Boudol, I Castellani
Workshop/School/Symposium of the REX Project (Research and Education in …, 1988
1601988
Concurrency and atomicity
G Boudol, I Castellani
Theoretical Computer Science 59 (1-2), 25-84, 1988
1471988
On the semantics of concurrency: partial orders and transition systems
G Boudol, I Castellani
Colloquium on Trees in Algebra and Programming, 123-137, 1987
1461987
A non-interleaving semantics for CCS based on proved transitions
G Boudol, I Castellani
1321988
Observing localities
G Boudol, I Castellani, M Hennessy, A Kiehn
Theoretical Computer Science 114 (1), 31-61, 1993
1231993
Distributed bisimulations
I Castellani, M Hennessy
1091988
A theory of processes with localities
G Boudol, I Castellani, M Hennessy, A Kiehn
Formal Aspects of Computing 6 (2), 165-200, 1994
1041994
Flow models of distributed computations: three equivalent semantics for CCS
G Boudol, I Castellani
Information and computation 114 (2), 247-314, 1994
851994
Process algebras with localities
I Castellani
Handbook of Process Algebra, 945-1045, 2001
752001
Testing theories for asynchronous languages
I Castellani, M Hennessy
International Conference on Foundations of Software Technology and …, 1998
701998
Noninterference for concurrent programs
G Boudol, I Castellani
International Colloquium on Automata, Languages, and Programming, 382-395, 2001
692001
Bisimulations for concurrency
I Castellani
The University of Edinburgh, 1987
621987
Bisimulations and abstraction homomorphisms
I Castellani
Journal of Computer and System Sciences 34 (2-3), 210-235, 1987
581987
Graph grammars for distributed systems
I Castellani, U Montanari
International Workshop on Graph Grammars and Their Application to Computer …, 1982
471982
A theory of processes with localities
G Boudol, I Castellani, M Hennessy, A Kiehn
International Conference on Concurrency Theory, 108-122, 1992
441992
Synthesizing distributed transition systems from global specifications
I Castellani, M Mukund, PS Thiagarajan
International Conference on Foundations of Software Technology and …, 1999
421999
Session types for access and information flow control
S Capecchi, I Castellani, M Dezani-Ciancaglini, T Rezk
International Conference on Concurrency Theory, 237-252, 2010
382010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20