Pantović, Jovanka

1. Precise Subtyping for Asynchronous Multiparty Sessions
   2020/10/26 by Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan +2 · 3 citations
   #F.3.2 #F.3.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)