Browsing eNauka
Browsing by Project COST IC1201 BETTY and DART
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | Precise subtyping for synchronous multiparty sessions | Mariangiola Dezani-Ciancaglini; Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Nobuko Yoshida | Conference Paper | Mp. category will be shown later |