еНаука - преглед
Преглед према Аутор Yoshida, Nobuko
Приказ резултата 1 до 4 од 4
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | Precise subtyping for asynchronous multiparty sessions (✓) | Gilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2023 | Precise Subtyping for Asynchronous Multiparty Sessions (✓) | Gilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2019 | Precise subtyping for synchronous multiparty sessions (✓) | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko | Научни чланак | 21M21 - Рад у врхунском међ. часопису |