Ilaria Castellani

发表

Event Structure Semantics for Multiparty Sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.

A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory

Silvia Crafa, Ilaria Castellani, 2016, Bull. EATCS.

On Bisimulations for the Asynchronous pi-Calculus

Davide Sangiorgi, Ilaria Castellani, Roberto M. Amadio, 1996, Theor. Comput. Sci..

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

Mohammad Reza Mousavi, Ilaria Castellani, I. Castellani, 2019, J. Log. Algebraic Methods Program..

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

Ilaria Castellani, Gérard Boudol, I. Castellani, 1988, REX Workshop.

Observing Distribution in Processes: Static and Dynamic Localities

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

Self-adaptation and secure information flow in multiparty communications

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez, 2016, Formal Aspects of Computing.

Session Types for Access and Information Flow Control

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2010, CONCUR.

Global Computing Project IST-2001-32222 Mobile Calculi Based on Domains Models of distribution and mobility : state of the art

Ilaria Castellani, Marc Lacoste, Florence Germain, 2002 .

Preface: Volume 27

Björn Victor, Ilaria Castellani, 1999 .

Fine-Grained and Coarse-Grained Reactive Noninterference

Ilaria Castellani, Pejman Attar, I. Castellani, 2013, TGC.

New Results - Concurrency and Reactive programming

Ilaria Castellani, Gérard Boudol, Frédéric Boussinot, 2008 .

New Results - Security

Ilaria Castellani, Roberto M. Amadio, Tamara Rezk, 2008 .

Multiparty Reactive Sessions

Ilaria Castellani, Jorge A. Pérez, Cinzia Di Giusto, 2019 .

A Reputation System for Multirole Sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Viviana Bono, 2011, TGC.

Testing Theories for Asynchronous Languages

Matthew Hennessy, Ilaria Castellani, M. Hennessy, 1998, FSTTCS.

Global types with internal delegation

Ross Horne, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, 2020, Theor. Comput. Sci..

Observing Localities (Extended Abstract)

Matthew Hennessy, Ilaria Castellani, Gérard Boudol, 1991, MFCS.

Secure Multiparty Sessions with Topics

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, 2016, PLACES.

Reactive Concurrent Programming Revisited

Ilaria Castellani, Roberto M. Amadio, Gérard Boudol, 2005, APC 25.

A theory of processes with localities

Matthew Hennessy, Ilaria Castellani, Gérard Boudol, 1992, Formal Aspects of Computing.

Observing Localities

Matthew Hennessy, Ilaria Castellani, Gérard Boudol, 1993, Theor. Comput. Sci..

Reversible sessions with flexible choices

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2019, Acta Informatica.

Labeled Event Structures: A Model for Observable Concurrency

Ugo Montanari, Ilaria Castellani, Paola Franceschi, 1982, Formal Description of Programming Concepts.

Bisimulations and Abstraction Homomorphisms

Ilaria Castellani, 1985, TAPSOFT, Vol.1.

Graph Grammars for distributed systems

Ugo Montanari, Ilaria Castellani, U. Montanari, 1982, Graph-Grammars and Their Application to Computer Science.

On the Semantics of Concurrency: Partial Orders and Transition Systems

Ilaria Castellani, Gérard Boudol, I. Castellani, 1987, TAPSOFT, Vol.1.

A Theory of Process with Localities (Extended Abstract)

Matthew Hennessy, Ilaria Castellani, Gérard Boudol, 1992, International Conference on Concurrency Theory.

Preface

Ilaria Castellani, Catuscia Palamidessi, 1998, EXPRESS.

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.

Causal and Distributed Semantics for Concurrent Processes (Abstract)

Ilaria Castellani, I. Castellani, 1993, STACS.

Preface

Björn Victor, Ilaria Castellani, 1999, EXPRESS.

A non-interleaving semantics for CCS based on proved transitions

Ilaria Castellani, Gérard Boudol, I. Castellani, 1988 .

Typing access control and secure information flow in sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2014, Inf. Comput..

Distributed bisimulations

Matthew Hennessy, Ilaria Castellani, M. Hennessy, 1989, JACM.

State-oriented Noninterference for CCS

Ilaria Castellani, 2007, Electron. Notes Theor. Comput. Sci..

An Algebraic Characterization of Observational Equivalence

Ilaria Castellani, André Arnold, 1996, Theor. Comput. Sci..

Combining behavioural types with security analysis

Bernardo Toninho, Peter Thiemann, Massimo Bartoletti, 2015, J. Log. Algebraic Methods Program..

Bisimulations for concurrency

Ilaria Castellani, I. Castellani, 1987 .

Information Flow Safety in Multiparty Sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2011 .

Synthesizing Distributed Transition Systems from Global Specification

Madhavan Mukund, P. S. Thiagarajan, Ilaria Castellani, 1999, FSTTCS.

Information flow safety in multiparty sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi, 2016, Math. Struct. Comput. Sci..

New Results - Models, semantics, and languages

Ilaria Castellani, Manuel Serrano, Tamara Rezk, 2013 .

Noninterference for concurrent programs and thread systems

Ilaria Castellani, Gérard Boudol, I. Castellani, 2002, Theor. Comput. Sci..

Flow Models of Distributed Computations: Three Equivalent Semantics for CCS

Ilaria Castellani, Gérard Boudol, 1994, Inf. Comput..

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

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

Report on WS25CCC

Ilaria Castellani, 2014, Bull. EATCS.

Parallel Product of Event Structures

Ilaria Castellani, Guo-Qiang Zhang, 1997, Theor. Comput. Sci..

Typing noninterference for reactive programs

Ilaria Castellani, Gérard Boudol, Ana Gualdina Almeida Matos, 2007, J. Log. Algebraic Methods Program..

Concurrent Reversible Sessions

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2017, CONCUR.

A theory of processes with localities

Matthew Hennessy, Ilaria Castellani, Gérard Boudol, 1992 .

Three Equivalent Semantics for CCS

Ilaria Castellani, Gérard Boudol, I. Castellani, 1990, Semantics of Systems of Concurrent Processes.

Process Algebras with Localities

Ilaria Castellani, I. Castellani, 2001, Handbook of Process Algebra.

Noninterference for Concurrent Programs

Ilaria Castellani, Gérard Boudol, I. Castellani, 2001, ICALP.

On Bisimulations for the Asynchronous pi-Calculus

Davide Sangiorgi, Ilaria Castellani, Roberto M. Amadio, 1996, Theor. Comput. Sci..

Bisimulations and Abstraction Homomorphisms

Ilaria Castellani, 1987, J. Comput. Syst. Sci..

Observing Distribution in Processes

Ilaria Castellani, I. Castellani, 1993, MFCS.

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

Mohammad Reza Mousavi, Ilaria Castellani, 2017, J. Log. Algebraic Methods Program..

Concurrency and Atomicity

Ilaria Castellani, Gérard Boudol, I. Castellani, 1988, Theor. Comput. Sci..

Global types and event structure semantics for asynchronous multiparty sessions pdf

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, 2021, ArXiv.