Session Types for Access and Information Flow Control

Contributo in Atti di convegno
Data di Pubblicazione:
2010
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Sara Capecchi; Ilaria Castellani; Mariangiola Dezani; Tamara Rezk
Autori di Ateneo:
CAPECCHI Sara
Link alla scheda completa:
https://iris.unito.it/handle/2318/79102
Link al Full Text:
Titolo del libro:
CONCUR'10
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series