Browsing by Author Prokić, Ivan

Showing results 1 to 1 of 1
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33