Jovanka Pantović, Ivan Prokić, Hugo Vieira. A Calculus for Modeling Floating Authorizations. Christel Baier; Luís Caires. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain.
HAL Archives-Ouvertes,
Jovanka Pantović, Ivan Prokić, Hugo Vieira. A Calculus for Modeling Floating Authorizations.