Title  : | Precise subtyping for synchronous multiparty sessions |
Authors: | Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko |
Issue Date: | 2019 |
Publication: | Journal of Logical and Algebraic Methods in Programming |
ISSN: | 2352-2208 Journal of Logical and Algebraic Methods in Programming Search Idenfier |
Publisher: | Elsevier |
Type: | Article |
Collation: | 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 |
Project: | 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 |
Metadata source: | Migracija |
M-category: | |
