Combining behavioural types with security analysis.

Massimo Bartoletti Ilaria Castellani Pierre-Malo Deniélou Mariangiola Dezani-Ciancaglini Silvia Ghilezan Jovanka Pantovic Jorge A. Pérez Peter Thiemann Bernardo Toninho Hugo Torres Vieira

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases