Ilaria Castellani

According to our database, Ilaria Castellani authored at least 54 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Branching pomsets: Design, expressiveness and applications to choreographies.

Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani

J. Log. Algebraic Methods Program., January, 2024

Towards a Semantic Characterisation of Global Type Well-formedness.

Ilaria Castellani, Paola Giannini

CoRR, 2024

2023

Event structure semantics for multiparty sessions.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

J. Log. Algebraic Methods Program., February, 2023

Preface to the special issue on Open Problems in Concurrency Theory.

Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova

J. Log. Algebraic Methods Program., 2023

EXPRESSing Session Types.

Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

2022

Asynchronous Sessions with Input Races.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

CONCUR Test-Of-Time Award 2022 (Invited Paper).

Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Global types and event structure semantics for asynchronous multiparty sessions.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

CoRR, 2021

2020

Global types with internal delegation.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne

Theor. Comput. Sci., 2020

2019

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016).

Ilaria Castellani, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2019

Reversible sessions with flexible choices.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Acta Informatica, 2019

2017

Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015).

Ilaria Castellani, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2017

Concurrent Reversible Sessions.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Information flow safety in multiparty sessions.

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini

Math. Struct. Comput. Sci., 2016

Self-adaptation and secure information flow in multiparty communications.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

Formal Aspects Comput., 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

Secure Multiparty Sessions with Topics.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

2015

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, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2015

2014

Typing access control and secure information flow in sessions.

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini

Inf. Comput., 2014

Report on WS25CCC.

Ilaria Castellani

Bull. EATCS, 2014

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

2013

Fine-Grained and Coarse-Grained Reactive Noninterference.

Pejman Attar, Ilaria Castellani

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2011

A Reputation System for Multirole Sessions.

Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

2010

Session Types for Access and Information Flow Control.

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2008

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

Proceedings of the Concurrency, 2008

2007

Typing noninterference for reactive programs.

Ana Almeida Matos, Gérard Boudol, Ilaria Castellani

J. Log. Algebraic Methods Program., 2007

State-oriented Noninterference for CCS.

Ilaria Castellani

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

2005

Reactive Concurrent Programming Revisited.

Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

2002

Noninterference for concurrent programs and thread systems.

Gérard Boudol, Ilaria Castellani

Theor. Comput. Sci., 2002

2001

Noninterference for Concurrent Programs.

Gérard Boudol, Ilaria Castellani

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Process Algebras with Localities.

Ilaria Castellani

Proceedings of the Handbook of Process Algebra, 2001

1999

Preface.

Ilaria Castellani, Björn Victor

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

Synthesizing Distributed Transition Systems from Global Specification.

Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

On Bisimulations for the Asynchronous pi-Calculus.

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi

Theor. Comput. Sci., 1998

Preface.

Ilaria Castellani, Catuscia Palamidessi

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

Testing Theories for Asynchronous Languages.

Ilaria Castellani, Matthew Hennessy

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997

Parallel Product of Event Structures.

Ilaria Castellani, Guo-Qiang Zhang

Theor. Comput. Sci., 1997

1996

An Algebraic Characterization of Observational Equivalence.

André Arnold, Ilaria Castellani

Theor. Comput. Sci., 1996

1995

Observing Distribution in Processes: Static and Dynamic Localities.

Ilaria Castellani

Int. J. Found. Comput. Sci., 1995

1994

Flow Models of Distributed Computations: Three Equivalent Semantics for CCS

Gérard Boudol, Ilaria Castellani

Inf. Comput., November, 1994

A Theory of Processes with Localities.

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Formal Aspects Comput., 1994

1993

Observing Localities.

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Theor. Comput. Sci., 1993

Causal and Distributed Semantics for Concurrent Processes (Abstract).

Ilaria Castellani

Proceedings of the STACS 93, 1993

Observing Distribution in Processes.

Ilaria Castellani

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

A Theory of Process with Localities (Extended Abstract).

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Proceedings of the CONCUR '92, 1992

1991

Observing Localities (Extended Abstract).

Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1990

Three Equivalent Semantics for CCS.

Gérard Boudol, Ilaria Castellani

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989

Distributed bisimulations.

Ilaria Castellani, Matthew Hennessy

J. ACM, 1989

1988

Concurrency and Atomicity.

Gérard Boudol, Ilaria Castellani

Theor. Comput. Sci., 1988

Permutation of transitions: An event structure semantics for CCS and SCCS.

Gérard Boudol, Ilaria Castellani

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

Bisimulations and Abstraction Homomorphisms.

Ilaria Castellani

J. Comput. Syst. Sci., 1987

On the Semantics of Concurrency: Partial Orders and Transition Systems.

Gérard Boudol, Ilaria Castellani

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1982

Labeled Event Structures: A Model for Observable Concurrency.

Ilaria Castellani, Paola Franceschi, Ugo Montanari

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

Graph Grammars for distributed systems.

Ilaria Castellani, Ugo Montanari

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982