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.


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