I. Castellani
发表
Guo-Qiang Zhang,
I. Castellani,
1989
.
Madhavan Mukund,
P. S. Thiagarajan,
Ilaria Castellani,
1999,
FSTTCS.
Ilaria Castellani,
I. Castellani,
1987
.
I. Castellani,
G. Boudol,
R. Amadio,
2005
.
Ugo Montanari,
Ilaria Castellani,
Paola Franceschi,
1982,
Formal Description of Programming Concepts.
Davide Sangiorgi,
Ilaria Castellani,
Roberto M. Amadio,
1996,
Theor. Comput. Sci..
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1990,
Semantics of Systems of Concurrent Processes.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1988
.
Ilaria Castellani,
I. Castellani,
1993,
STACS.
Ilaria Castellani,
Roberto M. Amadio,
Tamara Rezk,
2008
.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1991,
MFCS.
Ilaria Castellani,
Manuel Serrano,
Tamara Rezk,
2013
.
Ilaria Castellani,
Gérard Boudol,
Frédéric Boussinot,
2008
.
Mohammad Reza Mousavi,
Ilaria Castellani,
I. Castellani,
2019,
J. Log. Algebraic Methods Program..
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992,
International Conference on Concurrency Theory.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1993,
Theor. Comput. Sci..
M. Dezani-Ciancaglini,
P. Giannini,
I. Castellani,
2022,
PLACES@ETAPS.
Ilaria Castellani,
Jorge A. Pérez,
Cinzia Di Giusto,
2019
.
Ilaria Castellani,
Pejman Attar,
I. Castellani,
2013,
TGC.
Ilaria Castellani,
Gérard Boudol,
Ana Gualdina Almeida Matos,
2007,
J. Log. Algebraic Methods Program..
Ilaria Castellani,
Roberto M. Amadio,
Gérard Boudol,
2005,
APC 25.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1987,
TAPSOFT, Vol.1.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1988,
REX Workshop.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
1988,
Theor. Comput. Sci..
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Glynn Winskel,
Matthew Hennessy,
Ilaria Castellani,
2008,
Concurrency, Graphs and Models.
I. Castellani,
2006
.
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Matthew Hennessy,
Ilaria Castellani,
M. Hennessy,
1989,
JACM.
Matthew Hennessy,
Ilaria Castellani,
M. Hennessy,
1998,
FSTTCS.
Ugo Montanari,
Ilaria Castellani,
U. Montanari,
1982,
Graph-Grammars and Their Application to Computer Science.
Davide Sangiorgi,
Ilaria Castellani,
Roberto M. Amadio,
1996,
Theor. Comput. Sci..
Ross Horne,
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
2020,
Theor. Comput. Sci..
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini,
2019,
Acta Informatica.
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Jorge A. Pérez,
2016,
Formal Aspects of Computing.
Bernardo Toninho,
Peter Thiemann,
Massimo Bartoletti,
2015,
J. Log. Algebraic Methods Program..
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Sara Capecchi,
2014,
Inf. Comput..
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Sara Capecchi,
2010,
CONCUR.
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
2002,
Theor. Comput. Sci..
Ilaria Castellani,
Gérard Boudol,
I. Castellani,
2001,
ICALP.
K. Gopinath,
N. S. Pendharkar,
S. Guha,
1998,
FSTTCS.
I. Castellani,
G. Boudol,
2002,
Theor. Comput. Sci..
Ilaria Castellani,
I. Castellani,
1993,
MFCS.
Matthew Hennessy,
Ilaria Castellani,
Gérard Boudol,
1992,
Formal Aspects of Computing.
Ilaria Castellani,
I. Castellani,
2001,
Handbook of Process Algebra.