Precise subtyping for asynchronous multiparty sessions

Results

Naziv:	Precise subtyping for asynchronous multiparty sessions
Autori:	Gilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko
Godina:	2021
Publikacija:	Proceedings of the ACM on Programming Languages
ISSN:	2475-1421 PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Pretraži identifikator
Izdavač:	New York (USA) : Association for the Computing Machinery
Tip rezultata:	Konferencijski rad
Kolacija:	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
Projekat:	Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC
Izvor metapodataka:	(Preuzeto iz Nasi u WoS)
M-kategorija:	Mp kategorija će biti prikazana naknadno.

28
SCOPUS^TM

9
OpenCitations

26
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM