Combining Behavioural Types With Security Analysis

Authors

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