Folgen
Ilaria Castellani
Ilaria Castellani
Researcher in Theoretical Computer Science, INRIA, France
Bestätigte E-Mail-Adresse bei inria.fr
Titel
Zitiert von
Zitiert von
Jahr
On bisimulations for the asynchronous π-calculus
RM Amadio, I Castellani, D Sangiorgi
Theoretical Computer Science 195 (2), 291-324, 1998
2561998
Permutation of transitions: An event structure semantics for CCS and SCCS
G Boudol, I Castellani
Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989
1951989
Noninterference for concurrent programs and thread systems
G Boudol, I Castellani
Theoretical Computer Science 281 (1-2), 109-130, 2002
1932002
On the semantics of concurrency: partial orders and transition systems
G Boudol, I Castellani
Colloquium on Trees in Algebra and Programming, 123-137, 1987
1751987
On bisimulations for the asynchronous π-calculus
RM Amadio, I Castellani, D Sangiorgi
CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996
1631996
Concurrency and atomicity
G Boudol, I Castellani
Theoretical Computer Science 59 (1-2), 25-84, 1988
1571988
A non-interleaving semantics for CCS based on proved transitions
G Boudol, I Castellani
1401988
Observing localities
G Boudol, I Castellani, M Hennessy, A Kiehn
Theoretical Computer Science 114 (1), 31-61, 1993
1311993
Distributed bisimulations
I Castellani, M Hennessy
Journal of the ACM (JACM) 36 (4), 887-911, 1989
1211989
A theory of processes with localities
G Boudol, I Castellani, M Hennessy, A Kiehn
Formal Aspects of Computing 6, 165-200, 1994
1071994
Flow models of distributed computations: three equivalent semantics for CCS
G Boudol, I Castellani
Information and computation 114 (2), 247-314, 1994
1011994
Process algebras with localities
I Castellani
Handbook of process algebra, 945-1045, 2001
922001
Testing theories for asynchronous languages
I Castellani, M Hennessy
International Conference on Foundations of Software Technology and …, 1998
781998
Noninterference for concurrent programs
G Boudol, I Castellani
International Colloquium on Automata, Languages, and Programming, 382-395, 2001
722001
Bisimulations for concurrency
I Castellani
KB thesis scanning project 2015, 1987
621987
Session types for access and information flow control
S Capecchi, I Castellani, M Dezani-Ciancaglini, T Rezk
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
542010
Flow models of distributed computations: event structures and nets
G Boudol, I Castellani
531991
Graph grammars for distributed systems
I Castellani, U Montanari
Graph-Grammars and Their Application to Computer Science: 2nd International …, 1983
501983
A theory of processes with localities
G Boudol, I Castellani, M Hennessy, A Kiehn
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
481992
Information flow safety in multiparty sessions
S Capecchi, I Castellani, M Dezani-Ciancaglini
Mathematical Structures in Computer Science 26 (8), 1352-1394, 2016
472016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20