Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. Checking Risky Events Is Enough for Local Policies. In Mario Coppo, Elena Lodi, G. Michele Pinna, editors, Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings. Volume 3701 of Lecture Notes in Computer Science, pages 97-112, Springer, 2005. [doi]
@inproceedings{BartolettiDF05:0,
title = {Checking Risky Events Is Enough for Local Policies},
author = {Massimo Bartoletti and Pierpaolo Degano and Gian Luigi Ferrari},
year = {2005},
doi = {10.1007/11560586_9},
url = {http://dx.doi.org/10.1007/11560586_9},
researchr = {https://researchr.org/publication/BartolettiDF05%3A0},
cites = {0},
citedby = {0},
pages = {97-112},
booktitle = {Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings},
editor = {Mario Coppo and Elena Lodi and G. Michele Pinna},
volume = {3701},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-29106-7},
}