31 citations · 109 across the 18 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 11 cited
Reversible Sessions Using Monitors
Claudio A. Mezzina, Jorge A. Pérez
Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communicati…
cs.LO2016
Proceedings of the Eleventh International Workshop on Developments in Computational Models
César A. Muñoz, Jorge A. Pérez
This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was o…
cs.LO2016★ 1 cited
A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović +2
Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties,…