Roberto Bruni Ugo Montanari Executing Transactions in Zero-Safe Nets. 83-102 2000 ICATPN http://link.springer.de/link/service/series/0558/bibs/1825/18250083.htm db/conf/apn/icatpn2000.html#BruniM00