Graph Grammars for distributed systems. - Ilaria Castellani; Ugo Montanari (Graph-Grammars and Their Application to Computer Science, 1982)

Labeled Event Structures: A Model for Observable Concurrency. - Ilaria Castellani; Paola Franceschi; Ugo Montanari (Formal Description of Programming Concepts, 1982)

Bisimulations and Abstraction Homomorphisms. - Ilaria Castellani (TAPSOFT, Vol.1, 1985)

On the Semantics of Concurrency: Partial Orders and Transition Systems. - Gérard Boudol; Ilaria Castellani (TAPSOFT, Vol.1, 1987)

Permutation of transitions: An event structure semantics for CCS and SCCS. - Gérard Boudol; Ilaria Castellani (REX Workshop, 1988)

Concurrency and Atomicity. - Gérard Boudol; Ilaria Castellani (Theor. Comput. Sci., 1988)

Distributed bisimulations. - Ilaria Castellani; Matthew Hennessy (J. ACM, 1989)

Three Equivalent Semantics for CCS. - Gérard Boudol; Ilaria Castellani (Semantics of Systems of Concurrent Processes, 1990)

Observing Localities (Extended Abstract). - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (MFCS, 1991)

A Theory of Process with Localities (Extended Abstract). - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (CONCUR, 1992)

Observing Distribution in Processes. - Ilaria Castellani (MFCS, 1993)

Causal and Distributed Semantics for Concurrent Processes (Abstract). - Ilaria Castellani (STACS, 1993)

Observing Localities. - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (Theor. Comput. Sci., 1993)

A Theory of Processes with Localities. - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Astrid Kiehn (Formal Aspects Comput., 1994)

Flow Models of Distributed Computations: Three Equivalent Semantics for CCS - Gérard Boudol; Ilaria Castellani (Inf. Comput., 1994)

Observing Distribution in Processes: Static and Dynamic Localities. - Ilaria Castellani (Int. J. Found. Comput. Sci., 1995)

On Bisimulations for the Asynchronous pi-Calculus. - Roberto M. Amadio; Ilaria Castellani; Davide Sangiorgi (CONCUR, 1996)

An Algebraic Characterization of Observational Equivalence. - André Arnold; Ilaria Castellani (Theor. Comput. Sci., 1996)

Parallel Product of Event Structures. - Ilaria Castellani; Guo-Qiang Zhang 001 (Theor. Comput. Sci., 1997)

Testing Theories for Asynchronous Languages. - Ilaria Castellani; Matthew Hennessy (FSTTCS, 1998)

Preface. - Ilaria Castellani; Catuscia Palamidessi (EXPRESS, 1998)

Synthesizing Distributed Transition Systems from Global Specification. - Ilaria Castellani; Madhavan Mukund; P. S. Thiagarajan (FSTTCS, 1999)

Preface. - Ilaria Castellani; Björn Victor (EXPRESS, 1999)

Process Algebras with Localities. - Ilaria Castellani (Handbook of Process Algebra, 2001)

Noninterference for Concurrent Programs. - Gérard Boudol; Ilaria Castellani (ICALP, 2001)

Noninterference for concurrent programs and thread systems. - Gérard Boudol; Ilaria Castellani (Theor. Comput. Sci., 2002)

Reactive Concurrent Programming Revisited. - Roberto M. Amadio; Gérard Boudol; Frédéric Boussinot; Ilaria Castellani (APC 25, 2005)

State-oriented Noninterference for CCS. - Ilaria Castellani (SecCO@CONCUR, 2007)

Typing noninterference for reactive programs. - Ana Almeida Matos; Gérard Boudol; Ilaria Castellani (J. Log. Algebraic Methods Program., 2007)

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. - Gérard Boudol; Ilaria Castellani; Matthew Hennessy; Mogens Nielsen; Glynn Winskel (Concurrency, Graphs and Models, 2008)

Session Types for Access and Information Flow Control. - Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Tamara Rezk (CONCUR, 2010)

A Reputation System for Multirole Sessions. - Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini (TGC, 2011)

Fine-Grained and Coarse-Grained Reactive Noninterference. - Pejman Attar; Ilaria Castellani (TGC, 2013)

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A. Pérez 001 (BEAT, 2014)

Report on WS25CCC. - Ilaria Castellani (Bull. EATCS, 2014)

Typing access control and secure information flow in sessions. - Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini (Inf. Comput., 2014)

Combining behavioural types with security analysis. - Massimo Bartoletti; Ilaria Castellani; Pierre-Malo Deniélou; Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Jorge A. Pérez 001; Peter Thiemann 001; Bernardo Toninho; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2015)

Secure Multiparty Sessions with Topics. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (PLACES, 2016)

A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory. - Ilaria Castellani; Silvia Crafa (Bull. EATCS, 2016)

Self-adaptation and secure information flow in multiparty communications. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Jorge A. Pérez 001 (Formal Aspects Comput., 2016)

Information flow safety in multiparty sessions. - Sara Capecchi; Ilaria Castellani; Mariangiola Dezani-Ciancaglini (Math. Struct. Comput. Sci., 2016)

Concurrent Reversible Sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (CONCUR, 2017)

Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015). - Ilaria Castellani; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2017)

Event Structure Semantics for Multiparty Sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Reversible sessions with flexible choices. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Acta Informatica, 2019)

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016). - Ilaria Castellani; Mohammad Reza Mousavi 001 (J. Log. Algebraic Methods Program., 2019)

Global types with internal delegation. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini; Ross Horne (Theor. Comput. Sci., 2020)

CONCUR Test-Of-Time Award 2022 (Invited Paper). - Ilaria Castellani; Paul Gastin; Orna Kupferman; Mickael Randour; Davide Sangiorgi (CONCUR, 2022)

Asynchronous Sessions with Input Races. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (PLACES@ETAPS, 2022)

EXPRESSing Session Types. - Ilaria Castellani; Ornela Dardha; Luca Padovani; Davide Sangiorgi (EXPRESS/SOS, 2023)

Preface to the special issue on Open Problems in Concurrency Theory. - Ilaria Castellani; Pedro R. D'Argenio; Mohammad Reza Mousavi 001; Ana Sokolova (J. Log. Algebraic Methods Program., 2023)

A simple view of multiparty session types. - Ilaria Castellani (PPDP, 2024)

Towards a Semantic Characterisation of Global Type Well-formedness. - Ilaria Castellani; Paola Giannini (PLACES@ETAPS, 2024)

Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Fundam. Informaticae, 2024)

Branching pomsets: Design, expressiveness and applications to choreographies. - Luc Edixhoven; Sung-Shik Jongmans; José Proença; Ilaria Castellani (J. Log. Algebraic Methods Program., 2024)

Constructive characterisations of the MUST-preorder for asynchrony. - Giovanni Bernardi 001; Ilaria Castellani; Paul Laforgue; Léo Stefanesco (ESOP (1), 2025)