3 papers
cs.LO2020
Precise Subtyping for Asynchronous Multiparty Sessions
Silvia Ghilezan, Jovanka Pantović, Ivan Prokić +2
This paper presents the first formalisation of the precise subtyping relation for asynchronous multiparty sessions. We show that our subtyping relation is sound (i.e., guarantees s…
cs.PL2019
The Cpi-calculus: a Model for Confidential Name Passing
Ivan Prokić
Sharing confidential information in distributed systems is a necessity in many applications, however, it opens the problem of controlling information sharing even among trusted par…
cs.PL2018
A Calculus for Modeling Floating Authorizations
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, for instance, the setting of floating licenses whe…