Претрага
Резултати
A calculus for modeling floating authorizations (✓) [2019]
Prokić, Ivan
; Pantović, Jovanka ; Vieira, Hugo Torres
The C-pi-calculus: A model for confidential name passing (✓) [2021]
Prokic, Ivan ; Vieira, Hugo Torres
Precise subtyping for synchronous multiparty sessions (✓) [2019]
Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko
Combining behavioural types with security analysis (✓) [2015]
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
On primitives for compensation handling as adaptable processes (✓) [2021]
Dedeic, Jovana ; Pantovic, Jovanka B ; Perez, Jorge A
Филтери
По типу