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 for security


Secure information flow


Reactive programming models


Transition system decomposition


Asynchronous calculi


Nonsequential models of concurrency


Causality-based semantics


Locality-based semantics


Algebraic characterisation of bisimulation


PhD Thesis




Back to top of page

Back to homepage


Ilaria Castellani
Last modified: Thu May 4 18:39:28 CEST 2017