Session types for access and information flow control ? Sara Capecchi1 , Ilaria Castellani2 , Mariangiola Dezani-Ciancaglini1 , and Tamara Rezk2 1 Dipartimento di Informatica, Università di Torino, corso Svizzera 185, - Flow control - Document - PDFSEARCH.IO

First Page	Meta Content
	Session types for access and information flow control ? Sara Capecchi1 , Ilaria Castellani2 , Mariangiola Dezani-Ciancaglini1 , and Tamara Rezk2 1 Dipartimento di Informatica, Università di Torino, corso Svizzera 185, Add to Reading List Document Date: 2012-07-25 04:59:32 Open Document File Size: 279,89 KB Share Result on Facebook

Session types for access and information flow control ? Sara Capecchi1 , Ilaria Castellani2 , Mariangiola Dezani-Ciancaglini1 , and Tamara Rezk2 1 Dipartimento di Informatica, Università di Torino, corso Svizzera 185, Add to Reading List