Назив : | Precise subtyping for synchronous multiparty sessions |
Аутори: | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko |
Година: | 2019 |
Публикација: | Journal of Logical and Algebraic Methods in Programming |
ISSN: | 2352-2208 Journal of Logical and Algebraic Methods in Programming Претражи идентификатор |
Издавач: | Elsevier |
Тип резултата: | Научни чланак |
Колација: | 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 |
Пројекат: | 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 |
Извор метаподатака: | Migracija |
М-категорија: | 21M21 - Рад у врхунском међ. часопису |