conf.researchr.org / Ivan Prokić
Registered user since Tue 17 Nov 2020
Name:Ivan Prokić
Country:Serbia
Affiliation:University of Novi Sad
Personal website:http://imft.ftn.uns.ac.rs/~iprokic/
Research interests:Formal methods, concurrency, session types, pi calculus
Contributions
| 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 |