Browsing by Author Yoshida, Nobuko
Showing results 1 to 5 of 5
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Denotational and operational preciseness of subtyping: A roadmap | 1-Jan-2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Frank de Boer on the Occasion of His 60th Birthday, 2016; Porto; Portugal; 5 July 2016 through 5 July 2016; 9660; 155-172 | M33 |
| Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for asynchronous multiparty sessions | 4-Jan-2021 | Proceedings of the ACM on Programming Languages; 5; 16 | M33 |
| Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise Subtyping for Asynchronous Multiparty Sessions | 2022 | ACM Transactions on Computational Logic | ~M21 |
| Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 1-Apr-2019 | Journal of Logical and Algebraic Methods in Programming; 104; 127-173 | M21 |
| Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 10-Feb-2016 | Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 29-43 |