Ivan Prokić

Registered user since Tue 17 Nov 2020

Name:Ivan Prokić
Affiliation:University of Novi Sad
Research interests:Formal methods, concurrency, session types, pi calculus


POPL 2021 Author of Precise Subtyping for Asynchronous Multiparty Sessions within the POPL-track
PLACES 2019 Author of The Cpi-calculus: a Model for Confidential Name Passing within the PLACES-track