Researchers
Prokić, Ivan
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Prokić, Ivan   ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan | Conference Paper | Mp. category will be shown later |
| 2023 | Precise Subtyping for Asynchronous Multiparty Sessions | Gilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko | Article | 21M21 |