Search




Research outputs

On primitives for compensation handling as adaptable processes   [2021]

Dedeic, Jovana  ; Pantovic, Jovanka B  ; Perez, Jorge A

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

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

Filters

By type