Ilaria Castellani: main publications

This is my own list, classified by subject, in reverse chronological order. Some preliminary versions are available as INRIA research reports. Other lists: DBLP, google scholar.

Subjects

Session types

Session types with security

Secure information flow

Reactive programming models

Transition system decomposition

Asynchronous calculi

Algebraic characterisation of bisimulation

PhD Thesis

Early work

Note:

Session types

Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini.
To appear in Fundamenta Informaticae, 72 pages (2024). [ PDF ]

Towards a Semantic Characterisation of Global Type Well-formedness, Ilaria Castellani and Paola Giannini.
In Proc. PLACES 2024, EPTCS 401, pp. 11-21 (2024). [ DOI ] [ PDF ]

Branching pomsets: Design, expressiveness and applications to choreographies, Luc Edixhoven, Sung-Shik Jongmans, José Proença and Ilaria Castellani.
J. Log. Algebr. Meth. Program. 136 (2024). [ DOI ] [ PDF ]

EXPRESSing Session Types, Ilaria Castellani, Ornela Dardha, Luca Padovani and Davide Sangiorgi.
In Proc. EXPRESS / SOS 2023, EPTCS 387: 8-25 (2023). [ DOI ] [ PDF ]

Event structure semantics for multiparty sessions, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini.
J. Log. Algebr. Meth. Program. 131 (2023). [ DOI ] [ PDF ]

Asynchronous Sessions with Input Races, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini.
In Proc. PLACES 2022, EPTCS 356, pp. 12-23 (2022). [ DOI ] [ PDF ]

Global Types with Internal Delegation, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini and Ross Horne.
Theoretical Computer Science 807: 128-153 (2020). [DOI] [ PDF ]

Multiparty Reactive Sessions, Mauricio Cano, Ilaria Castellani, Cinzia Di Giusto and Jorge A. Perez.
INRIA Research Report n. 9270 (April 2019). [ HAL ] [ PDF ]

Event structure semantics for multiparty sessions, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini.
Extended abstract in Proc. "Models, Languages, and Tools for Concurrent and Distributed Programming" (M. Boreale, F. Corradini, M. Loreti, R. Pugliese, Eds), LNCS 11665, pp. 340-363, Springer (2019). [ DOI ]

Reversible Sessions with Flexible Choices, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini.
Acta Informatica 56 (7-8): 553-583 (2019). [ DOI ] [ PDF ]

Concurrent Reversible Sessions, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini.
In Proc. CONCUR 17, LIPIcs 85, pp. 30:1-30:17 (2017). [ DOI ] [ PDF ]

Session types with security

Information Flow Safety in Multiparty Sessions, Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini.
Mathematical Structures in Computer Science 26(8):1352-1394, Cambridge University Press (2016). [ DOI ] [ PDF ]

Self-adaptation and secure information flow in multiparty communications, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Jorge A. Perez.
Formal Aspects of Computing 28(4): 669-696 (2016). [ DOI ] [ PDF ]

Secure Multiparty Sessions with Topics, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro.
In Proc. PLACES 16, EPTCS 211: 1-12 (2016). [ DOI ] [ PDF ]

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. Algebr. Meth. Program. 84(6): 763-780, Special Issue on Open Problems in Concurrency Theory (2015). [ DOI ] [ PDF ]

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Jorge A. Perez.
In Proc. BEAT 14, EPTCS 162: 9-18 (2014). [ DOI ] [ PDF ]

Typing Access Control and Secure Information Flow in Sessions, Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini.
Information and Computation 238: 68-105, Special Issue on Security and Rewriting Techniques (2014). [ DOI ] [ PDF ]

A Reputation System for Multirole Sessions, Viviana Bono, Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini.
In Proc. TGC 11, LNCS 7173, pp. 1-24 (2012). [ Abstract ] [ PDF ]

Information Flow Safety in Multiparty Sessions, Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini.
In Proc. EXPRESS 11, EPTCS 64: 16-30 (2011). [ Abstract ] [ PDF ]

Session Types for Access and Information Flow Control, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Tamara Rezk.
In Proc. CONCUR 10, LNCS 6269, pp. 237-252 (2010). [ PDF ]

Secure information flow

State-oriented noninterference for CCS, I. Castellani.
In Proc. SecCo 07, ENTCS 194(1): 39-60 (2007). [ PDF ] Full version available as INRIA Research Report [ PDF ].

Noninterference for concurrent programs and thread systems, G. Boudol and I. Castellani.
In "Merci, Maurice: A mosaic in honour of Maurice Nivat" (P.-L. Curien, Ed.), Theoretical Computer Science 281(1): 109-130 (2002). [ PDF]

Noninterference for concurrent programs, G. Boudol and I. Castellani.
In Proc. ICALP 01, LNCS 2076, pp. 382-395 (2001). [ Abstract ] [ PDF]

Note:

Reactive programming models

Fine-grained and coarse-grained reactive noninterference, Pejman Attar and Ilaria Castellani.
In Proc. TGC 13, LNCS 8358, pp. 159-179 (2013). [PDF]

Typing noninterference for reactive programs, A. Almeida Matos, G. Boudol and I. Castellani.
Journal of Logic and Algebraic Programming 72: 124-156 (2007). [ Abstract ] [ PDF]

Reactive concurrent programming revisited, R. Amadio, G. Boudol, F. Boussinot and I. Castellani.
In Proc. Workshop "Algebraic Process Calculi: the first twenty five years and beyond", ENTCS 162:49-60 (2006). [ Abstract ] [ PDF]

Transition system decomposition

Synthesizing distributed transition systems from global specifications, I. Castellani, M. Mukund and P.S. Thiagarajan.
In Proc. FST-TCS 99, LNCS 1738 (1999). [ Abstract ] [ PDF ]

Asynchronous calculi

Testing theories for asynchronous languages, I. Castellani and M. Hennessy.
In Proc. FST-TCS 98, LNCS 1530 (1998). [ Abstract ] [ PDF ]
On bisimulations for the asynchronous pi-calculus, R. Amadio, I. Castellani and D. Sangiorgi.
Theoretical Computer Science 195: 291-324 (1998). [ PDF ]
On bisimulations for the asynchronous pi-calculus, R. Amadio, I. Castellani and D. Sangiorgi.
In Proc. CONCUR 96, LNCS 1119 (1996), pp. 147-162. [ PDF ]

Nonsequential models of concurrency

Causality-based semantics

Parallel product of event structures, I. Castellani and Guo Qiang Zhang.
Theoretical Computer Science 179: 203-215 (1997). [ Abstract ] [ PDF ]
Flow models of distributed computations: three equivalent semantics for CCS, G. Boudol and I. Castellani.
Information and Computation 114(2): 247-314 (1994). [ Abstract ] [ PDF ]
Flow models of distributed computations: event structures and nets, G. Boudol and I. Castellani.
INRIA Research Report n. 1482 (1991). [ HAL ] [ PDF ]
A non-interleaving semantics for CCS based on proved transitions, G. Boudol and I. Castellani.
Fundamenta Informaticae XI: 433-452 (1988). [ Abstract ] [ PDF ]
Permutation of transitions: an event structure semantics for CCS and SCCS, G. Boudol and I. Castellani.
In Proc. REX School/Workshop, LNCS 354 (1988). [ Abstract ] [ PDF ]
Concurrency and atomicity, G. Boudol and I. Castellani.
Theoretical Computer Science 59: 25-84 (1988). [ Abstract ] [ PDF ]
On the semantics of concurrency: partial orders and transition systems, G. Boudol and I. Castellani.
In Proc. TAPSOFT 87, LNCS 249 (1987). [ PDF ]

Locality-based semantics

Process Algebras with Localities, I. Castellani.
In J. Bergstra, A. Ponse and S. Smolka editors, Handbook of Process Algebra , Chapter 15,
pages 945-1045. North-Holland, Amsterdam, 2001. (C) 2001 North-Holland. [ Abstract ] [ PDF ]
Observing distribution in processes: static and dynamic localities, I. Castellani.
Int. Journal of Foundations of Computer Science 6(4): 353-393 (1995). [ Abstract ] [ PDF ]
A theory of processes with localities, G. Boudol, I. Castellani, M. Hennessy and A. Kiehn.
Formal Aspects of Computing 6: 165-200 (1994). [ Abstract ] [ PDF ]
Observing distribution in processes, I. Castellani.
In Proc. MFCS 93, LNCS 711 (1993), pp. 321-331. [ PDF ]
Observing localities, G. Boudol, I. Castellani, M. Hennessy and A. Kiehn.
Theoretical Computer Science 114: 31-61 (1993). [ Abstract ] [ PDF ]
A theory of processes with localities, G. Boudol, I. Castellani, M. Hennessy and A. Kiehn.
In Proc. CONCUR 92, LNCS 630 (1992), pp. 108-122. [ PDF ]
Observing localities, G. Boudol, I. Castellani, M. Hennessy and A. Kiehn.
In Proc. MFCS 91, LNCS 520 (1991). [ PDF ]
Distributed Bisimulations, I. Castellani and M. Hennessy.
Journal of the ACM 36(4): 887-911 (1989). [ Abstract ] [ PDF ]

Algebraic characterisation of bisimulation

An algebraic characterization of observational equivalence (Note), A. Arnold and I. Castellani.
Theoretical Computer Science 156: 289-299 (1996). [ Abstract ] [ PDF ]
Bisimulations and abstraction homomorphisms, I. Castellani.
Journal of Computer and System Sciences, vol. 34(2/3): 210-235 (1987). [ Abstract ] [ PDF ]
Bisimulations and abstraction homomorphisms, I. Castellani.
In Proc. TAPSOFT 85, LNCS 185 (1985). [ PDF ]

Early work

Graph-grammars for Distributed Systems, I. Castellani and U. Montanari.
In Proc. 2nd International Workshop on Graph-grammars and their application to Computer Science, LNCS 153 (1983). [ PDF ]
Labeled Event Structures: A Model for Observable Concurrency, I. Castellani, P. Franceschi and U. Montanari.
In Proc. Formal Description of Programming Concepts-II, North-Holland Publishing Company, IFIP (1983). [ PDF ]

PhD Thesis

Bisimulations for Concurrency, I. Castellani.
PhD thesis, Edinburgh University (1988). Available as report CST-51-88 and LFCS-88-51. [ Abstract ]

Back to homepage

Ilaria Castellani

Last modified: Sat May 25 12:31:01 CEST 2024