Browsing eNauka
Browsing by Author Yoshida, Nobuko
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Conference Paper | Mp. category will be shown later |
| 2026 | On Asynchronous Multiparty Session Types for Federated Learning | Prokic, Ivan ; Prokic, Simona ; Ghilezan, Silvia ; Scalas, Alceste; Yoshida, Nobuko | Conference Paper | Mp. category will be shown later |
| 2021 | Precise subtyping for asynchronous multiparty sessions | Gilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko | Conference Paper | Mp. category will be shown later |
| 2019 | Precise subtyping for synchronous multiparty sessions | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko | Article | 21M21 |