%% BibTex-file{ %% author = {Ilaria Castellani}, %% date = {20 December 1999}, %% www-home = {http://www-sop.inria.fr/members/Ilaria.Castellani}, %% address = {Institut National de Recherche en %% Informatique et Automatique, %% Centre de Sophia Antipolis, %% 2004, Routes des Lucioles, %% BP 93, %% 06902 Sophia Antipolis Cedex, %% France}, %% telephone = {+33 4 92 38 76 40}, %% email = {Ilaria.Castellani at inria.fr}, %% dates = {1982-2017}, %% keywords = {semantics, concurrency, security, session types}, %% supported = {yes}, %% abstract = {Bibliography for Ilaria Castellani} %% } %% ====================================================================== @string{fac = {Formal Aspects of Computing}} @string{fi = {Fundamenta Informaticae}} @string{focs = {International Journal of Foundations of Computer Science}} @string{ic = {Information and Computation}} @string{jacm = {Journal of the {ACM}}} @string{jcss = {Journal of Computer and System Sciences}} @string{tcs = {Theoretical Computer Science}} @string{rex = {{REX} School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, {\rm Noordwijkerhout}}} @string{rocheposay = {Proceedings {LITP} Spring School, {\rm La Roche-Posay}}} %% ====================================================================== @mastersthesis{CF81, author = {Castellani, Ilaria and Franceschi, Paola}, year = 1981, school = {Department of Computer Science, University of Pisa}, title = {Modelli semantici per la programmazione concorrente}} @inproceedings{CFM82, author = {Castellani, Ilaria and Franceschi, Paola and Montanari, Ugo}, booktitle = {Proceedings IFIP TC2 Working Conference on Formal Description of Programming Concepts -- II, {\rm Garmisch}, 1982}, year = 1982, editor = {Bj\mbox{\o}rner, D.}, publisher = {North-Holland}, pages = {383--400}, title = {Labelled event structures: a model for observable concurrency}} @inproceedings{CM83, author = {Castellani, Ilaria and Montanari, Ugo}, booktitle = {Proceedings 2nd international workshop on Graph-grammars and their application to Computer Science, {\rm Haus-Horbech}}, title = {Graph-grammars for Distributed Systems}, series = {Lecture Notes in Computer Science}, volume = 153, year = 1983} @inproceedings{Cas85, author = {Castellani, Ilaria}, title = {Bisimulations and abstraction homomorphisms}, booktitle = {Proceedings TAPSOFT 85, {\rm Berlin}}, editor = {Ehrig, H. and Floyd, C. and Nivat, M. and Thatcher J.}, pages = {223--238}, year = 1985, publisher = {Springer Verlag}, volume = 185, series = {Lecture Notes in Computer Science}} @article{Cas87, author = {Castellani, Ilaria}, year = 1987, journal = jcss, pages = {210--235}, title = {Bisimulations and abstraction homomorphisms}, volume = 34} @inproceedings{BC87, author = {Boudol, G{\'e}rard and Castellani, Ilaria}, booktitle = {Proceedings TAPSOFT 87, {\rm Pisa}}, year = 1987, editor = {Ehrig, H. and Kowalski, R. and Levi, G. and Montanari, U.}, series = {Lecture Notes in Computer Science}, volume = 249, publisher = {Springer-Verlag}, pages = {123--137}, title = {On the semantics of concurrency: partial orders and transition systems}} @phdthesis{Cas88-PhDthesis, author = {Castellani, Ilaria}, year = 1988, school = {Department of Computer Science, University of Edinburgh}, title = {Bisimulations for concurrency}, note = {Reports CST-51-88 and LFCS-88-51, University of Edinburgh, 1988.}} @article{BC88a, author = {Boudol, G{\'e}rard and Castellani, Ilaria}, year = 1988, journal = tcs, number = {1-2}, pages = {25--84}, title = {Concurrency and atomicity}, volume = 59} @inproceedings{BC88b, author = {Boudol, G{\'e}rard and Castellani, Ilaria}, booktitle = rex, year = 1988, editor = {de Bakker, J.W. and de Roever, W.-P. and Rozenberg, G.}, series = {Lecture Notes in Computer Science}, volume = 354, publisher = {Springer-Verlag}, pages = {411--427}, title = {Permutation of transitions: an event structure semantics for {CCS} and {SCCS}}} @article{BC88c, author = {Boudol, G{\'e}rard and Castellani, Ilaria}, year = 1988, journal = {Fundamenta Informaticae}, number = 4, pages = {433--452}, title = {A non-interleaving semantics for {CCS} based on proved transitions}, volume = 11} @article{CH89, author = {Castellani, Ilaria and Hennessy, Matthew}, year = 1989, journal = jacm, number = 4, pages = {887--911}, title = {Distributed bisimulations}, volume = 36} @inproceedings{BC90, author = {Boudol, G{\'e}rard and Castellani, Ilaria}, booktitle = rocheposay, year = 1990, editor = {Guessarian, I.}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, volume = 469, pages = {96--141}, title = {Three equivalent semantics for {CCS}}} @inproceedings{BCHK91, author = {Boudol, G{\'e}rard and Castellani, Ilaria and Hennessy, Matthew and Kiehn, Astrid}, title = {Observing localities}, booktitle = {Proceedings {MFCS} 91, {\rm Kazimierz Dolny}}, editor = {}, series = {Lecture Notes in Computer Science}, volume = 520, pages = {93--102}, year = 1991} @techreport{BC91, author = {Boudol, G{\'e}rard and Castellani, Ilaria}, title = {Flow models of distributed computations: event structures and nets}, institution = {INRIA}, type = {Report}, number = 1482, year = 1991, note = {Previous version by G.~Boudol in {\em Proceedings LITP Spring School}, La Roche-Posay, volume 469 of {\em Lecture Notes in Computer Science}, pages 62--95, Springer-Verlag, 1990}} @inproceedings{BCHK92, author = {Boudol, G{\'e}rard and Castellani, Ilaria and Hennessy, Matthew and Kiehn, Astrid}, title = {A theory of processes with localities}, booktitle = {Proceedings {CONCUR} 92, {\rm Stony Brook}}, editor = {Cleaveland, W.R.}, series = {Lecture Notes in Computer Science}, volume = 630, pages = {108--122}, year = 1992} @inproceedings{Cas93a, author = {Castellani, Ilaria}, title = {Alg{\`e}bres de processus: une introduction {\`a} {CCS}}, booktitle = {Proceedings AFCET conference, {\rm Versailles}}, year = 1993} @inproceedings{Cas93b, author = {Castellani, Ilaria}, title = {Observing distribution in processes}, booktitle = {Proceedings {MFCS} 93, {\rm Gda{\'n}sk}}, editor = {Borzyszkowski, A.M. and Sokolowski, S.}, series = {Lecture Notes in Computer Science}, volume = 711, pages = {321--331}, year = 1993} @article{BCHK93, author = {Boudol, G{\'e}rard and Castellani, Ilaria and Hennessy, Matthew and Kiehn, Astrid}, title = {Observing localities}, journal = tcs, volume = 114, pages = {31--61}, year = 1993} @article{BCHK94, author = {Boudol, G{\'e}rard and Castellani, Ilaria and Hennessy, Matthew and Kiehn, Astrid}, title = {A theory of processes with localities}, journal = fac, volume = {6}, pages = {165-200}, year = 1994} @article{BC94, title = {Flow models of distributed computations: three equivalent semantics for {CCS}}, author = {Boudol, G{\'e}rard and Castellani, Ilaria}, pages = {247--314}, journal = ic, year = 1994, volume = 114, number = 2} @article{Cas95, author = {Castellani, Ilaria}, title = {Observing distribution in processes: static and dynamic localities}, journal = focs, volume = 6, number = 4, pages = {353--393}, year = 1995} @inproceedings{ACS96, author = {Amadio, Roberto M. and Castellani, Ilaria and Sangiorgi, Davide}, title = {On Bisimulations for the Asynchronous pi-calculus}, booktitle = {Proceedings CONCUR 96, {\rm Pisa}}, editor = {Montanari, U. and Sassone, V.}, pages = {147--162}, year = 1996, publisher = {Springer Verlag}, volume = 1119, series = {Lecture Notes in Computer Science}, url = {ftp://zenon.inria.fr/meije/theorie-par/ic/asynchrony96.ps.gz}} @article{CZ97, author = {Castellani, Ilaria and Zhang, Guo Qiang}, title = {Parallel product of event structures}, journal = tcs, volume = 179, number = {1-2}, year = 1997, pages = {203-215}} @article{ACS98, author = {Amadio, Roberto M. and Castellani, Ilaria and Sangiorgi, Davide}, title = {On Bisimulations for the Asynchronous pi-calculus}, journal = {Theoretical Computer Science}, year = {1998}, volume = {195}, number = {}, pages = {291-324} } @proceedings{CP98, title = "{EXPRESS} '98: Expressiveness in Concurrency {\rm (Nice, France, September 7, 1998)}", year = "1998", editor = "Ilaria Castellani and Catuscia Palamidessi", volume = "16.2", series = "ENTCS", publisher = "Elsevier Science Publishers", } @Inproceedings{CH98, Author = "Ilaria Castellani and Matthew Hennessy", Title = "Testing theories for asynchronous languages", BookTitle = "Proceedings {FST-TCS'98}", publisher = {Springer Verlag}, volume = 1530, series = {Lecture Notes in Computer Science}, Year = "1998"} @proceedings{CV99, title = "{EXPRESS} '99: Expressiveness in Concurrency {\rm (Eindhoven, The Netherlands, August 23, 1999)}", year = "1999", editor = "Ilaria Castellani and Bjorn Victor", volume = "27", series = "ENTCS", publisher = "Elsevier Science Publishers", } @Inproceedings{CMT99, Author = "Ilaria Castellani and Madhavan Mukund and P.~S.~Thiagarajan", Title = "Synthesizing distributed transition systems from global specifications", BookTitle = "Proceedings {FST-TCS'99}", volume = 1738, series = {Lecture Notes in Computer Science}, Year = "1999"} @InCollection{Cas-hpa01, author = {I. Castellani}, title = {Process Algebras with Localities}, booktitle = {Handbook of Process Algebra}, pages = {945-1045}, year = 2001, editor = {J. Bergstra and A. Ponse and S. Smolka}, publisher = {North-Holland}, address = {Amsterdam} } @InProceedings{BC01, author = {G. Boudol and I. Castellani}, title = {Noninterference for Concurrent Programs}, booktitle = "ICALP'01", series = {Lecture Notes in Computer Science}, number = "2076", year = "2001", pages = "382-395" } @misc{Cas:mikado02, author = {G{\'e}rard Boudol and Ilaria Castellani and Florence Germain and Marc Lacoste}, title = {Models of distribution and mobility: state of the art}, booktitle = {MIKADO Global Computing Project IST-2001-32222, Deliverable D1.1.1}, editor = {Ilaria Castellani}, year = {2002}, pages = {1-78} } @article{BC02, author = {G. Boudol and I. Castellani}, title = {Noninterference for Concurrent Programs and Thread Systems}, editor = {P.-L. Curien}, journal = tcs, volume = 281, number = {1}, year = 2002, pages = {109-130}, note = {In "Merci, Maurice, A mosaic in honour of Maurice Nivat". Preliminary version available as INRIA Research report 4254}} @misc{AMBC04, author = {Ana Almeida Matos and G{\'e}rard Boudol and Ilaria Castellani}, title = {Typing noninterference for reactive programs}, note = {Proc. Workshop on Foundations of Computer Security (FCS'04),TUCS Report n.31T, 2004}, year ={2004} } @article{ABBC05, author = {Amadio, R. and Boudol, G. and Boussinot, F. and Castellani, I.}, title = {Reactive Concurrent Programming Revisited}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {162}, year = {2006}, pages = {49-60} download = {http://www-sop.inria.fr/members/Ilaria.Castellani/abbc-APC25-entcs.ps} } @article{AMBC07, author = {Ana Almeida Matos and G{\'e}rard Boudol and Ilaria Castellani}, title = {Typing noninterference for reactive programs}, journal = {J. Log. Algebr. Program.}, volume = {72}, number = {2}, year = {2007}, pages = {124-156}, download = {http://www-sop.inria.fr/members/Ilaria.Castellani/jlap.pdf} } @article{Cas07, author = {Castellani, I.}, title = {State-oriented Noninterference for CCS}, journal = {Electr. Notes in Theor. Comput. Sci.}, volume = {194}, number = {1}, year = {2007}, pages = {39-60}, download = {http://dx.doi.org/10.1016/j.entcs.2007.09.012} } @inproceedings{BCHNW08, author = {G{\'e}rard Boudol and Ilaria Castellani and Matthew Hennessy and Mogens Nielsen and Glynn Winskel}, title = {Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra}, booktitle = {Concurrency, Graphs and Models}, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'e} Meseguer}, year = {2008}, pages = {757-777}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5065}, year = {2008} } @inproceedings{CCDR10, author = {Capecchi, Sara and Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola and Rezk, Tamara}, title = {Session Types for Access and Information Flow Control}, booktitle = {Proceedings CONCUR 2010, {\rm Paris}}, editor = {Gastin, P. and Laroussinie, F.}, pages = {237-252}, year = 2010, publisher = {Springer Verlag}, volume = {6269}, series = {Lecture Notes in Computer Science} } @inproceedings{CCD11, volume = {64}, author = {Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini}, series = {EPTCS}, booktitle = {EXPRESS}, editor = {Bas Luttik and Frank Valencia}, title = {Information Flow Safety in Multiparty Sessions}, year = {2011}, pages = {16-30}, } @inproceedings{BCCD12, author = {Viviana Bono and Sara Capecchi and Ilaria Castellani and Mariangiola Dezani{-}Ciancaglini}, title = {{A Reputation System for Multirole Sessions}}, booktitle = {TGC 2011}, pages = {1--24}, year = {2012}, series = {Lecture Notes in Computer Science}, volume = {7173}, publisher = {Springer}, } @inproceedings{AC13, author = {Pejman Attar and Ilaria Castellani}, title = {Fine-Grained and Coarse-Grained Reactive Noninterference}, booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC} 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8358}, publisher = {Springer}, pages = {159--179}, year = {2013}, } @inproceedings{CDP14, volume = {162}, author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Jorge A. P\'{e}rez}, series = {EPTCS}, booktitle = {BEAT'14}, title = {Self-Adaptation and Secure Information Flow in Multiparty Structured Communications}, year = {2014}, pages = {9--18}, } @article{CCD15, title = {{Typing access control and secure information flow in sessions}}, author = {Capecchi, S. and Castellani, I. and Dezani-Ciancaglini, M.}, journal = {{Journal of Information and Computation}}, publisher = {{Elsevier}}, volume = {238}, pages = {68 - 105}, year = {2014}, } @article{BCDD+15, number = {6}, volume = {84}, author = {Massimo Bartoletti and Ilaria Castellani and Pierre-Malo Deni\'elou and Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Jovanka Pantovic and Jorge A. P\'erez and Peter Thiemann and Bernardo Toninho and Hugo Torres Vieira}, note = {Special Issue on Open Problems in Concurrency Theory }, title = {Combining behavioural types with security analysis }, journal = {Journal of Logical and Algebraic Methods in Programming }, pages = {763 - 780}, year = {2015}, } @article{CCD16, author = {Sara Capecchi and Ilaria Castellani and Mariangiola Dezani{-}Ciancaglini}, title = {Information flow safety in multiparty sessions}, journal = {Mathematical Structures in Computer Science}, volume = {26}, number = {8}, pages = {1352--1394}, year = {2016} } @inproceedings{CDL16, volume = {211}, author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro}, series = {EPTCS}, booktitle = {PLACES'16}, title = {Secure Multiparty Sessions with Topics}, pages = {1--12}, year = {2016}, } @article{CDP16, number = {4}, volume = {28}, author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Jorge A. P\'{e}rez}, title = {Self-Adaptation and Secure Information Flow in Multiparty Communications}, publisher = {Springer}, year = {2016}, journal = {{Formal Aspects of Computing}}, pages = {669--696}, } @InProceedings{CDG17, author ={Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini}, title ={{Concurrent Reversible Sessions}}, booktitle ={28th International Conference on Concurrency Theory (CONCUR 2017)}, pages ={30:1--30:17}, series ={Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN ={978-3-95977-048-4}, ISSN ={1868-8969}, year ={2017}, volume ={85}, editor ={Roland Meyer and Uwe Nestmann}, publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address ={Dagstuhl, Germany}, URL ={http://drops.dagstuhl.de/opus/volltexte/2017/7787}, URN ={urn:nbn:de:0030-drops-77877}, doi ={10.4230/LIPIcs.CONCUR.2017.30}, annote ={Keywords: Communication-centric Systems, Reversible Computation, Process Calculi, Multiparty Session Types} } @article{CDG19, url = {http://www-sop.inria.fr/members/Ilaria.Castellani/cdg-acta-inf-2019.pdf}, title = {Reversible Sessions with Flexible Choices}, author = {Ilaria Castellani and Mariangiola Dezani{-}Ciancaglini and Paola Giannini}, publisher = {Springer}, journal = {Acta Informatica}, year = {2019}, doi = {10.1007/s00236-019-00332-y}, }