Browsing by Author Prokić, Ivan


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2 to 3 of 3 < previous 
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
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise Subtyping for Asynchronous Multiparty Sessions2022ACM Transactions on Computational Logic~M21