Session Types for Access and Information Flow Control.

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk

Browse the full CONCUR paper archive.