TY  - RPRT
TI  - On Properties of Policy-Based Specifications
AU  - Andrea Margheri
AU  - Rosario Pugliese
AU  - Francesco Tiezzi
PY  - 2015
DO  - 10.4204/eptcs.188.5
UR  - https://arxiv.org/abs/1508.03903
ID  - 1508.03903
ER  -