Naziv  : | Precise subtyping for synchronous multiparty sessions |
Autori: | Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko |
Godina: | 2019 |
Publikacija: | Journal of Logical and Algebraic Methods in Programming |
ISSN: | 2352-2208 Journal of Logical and Algebraic Methods in Programming Pretraži identifikator |
Izdavač: | Elsevier |
Tip rezultata: | Naučni članak |
Kolacija: | vol. 104 str. 127-173 |
DOI: | 10.1016/j.jlamp.2018.12.002 |
WoS-ID: | 000462694100006 |
Scopus-ID: | 2-s2.0-85069436653 |
URI: | https://enauka.gov.rs/handle/123456789/501605
http://researchrepository.mi.sanu.ac.rs/handle/123456789/2575 |
Projekat: | EPSRC EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1 and EP/N028201/1
Representations of logical structures and formal languages and their application in computing
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
COST Action EUTYPES (CA15123), BETTY (IC1201) and ARVI (IC1402)
Continuous Observation of Embedded Multicore Systems |
Izvor metapodataka: | Migracija |
M-kategorija: | 21M21 - Vodeći međunarodni časopis kategorije M21 |
