Checking Risky Events Is Enough for Local Policies.

Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Checking Risky Events Is Enough for Local Policies. 97-112 2005 conf/ictcs/2005 ICTCS http://dx.doi.org/10.1007/11560586_9 db/conf/ictcs/ictcs2005.html#BartolettiDF05