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


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: Fri Oct 6 18:10:15 CEST 2017