Претрага
Резултати
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
The C-pi-calculus: A model for confidential name passing
[2021]
Prokic, Ivan ; Vieira, Hugo Torres
A calculus for modeling floating authorizations
[2019]
Prokić, Ivan ; Pantović, Jovanka ; Vieira, Hugo Torres
Филтери
По типу