Cataldo Basile, Antonio Lioy, Christian Pitscheider, Shilong Zhao. A Formal Model of Policy Reconciliation. In Masoud Daneshtalab, Marco Aldinucci, Ville Leppänen, Johan Lilius, Mats Brorsson, editors, 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015. pages 587-594, IEEE, 2015. [doi]
Abstract is missing.