Резултати
| Title: | Precise subtyping for asynchronous multiparty sessions | Authors: | Gilezan, Silvia   ; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko |
Issue Date: | 2021 | Publication: | Proceedings of the ACM on Programming Languages | ISSN: | 2475-1421 PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Search Idenfier |
Publisher: | New York (USA) : Association for the Computing Machinery | Type: | Conference Paper | Collation: | vol. 5 br. POPL str. 1-28 | DOI: | 10.1145/3434297 | WoS-ID: | 000679806100016 | Scopus-ID: | 2-s2.0-85097584853 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4698 http://researchrepository.mi.sanu.ac.rs/handle/123456789/5012 https://enauka.gov.rs/handle/123456789/577883 |
URL: | https://dl.acm.org/doi/pdf/10.1145/3434297 | Project: | Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC | Metadata source: | (Preuzeto iz Nasi u WoS) | M-category: | Mp. category will be shown later |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.