Laura Bocchi Cosimo Laneve Gianluigi Zavattaro A Calculus for Long-Running Transactions. 124-138 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2884&spage=124 2003 conf/fmoods/2003 FMOODS db/conf/fmoods/fmoods2003.html#BocchiLZ03