Michael J. Butler C. A. R. Hoare Carla Ferreira A Trace Semantics for Long-Running Transactions. 133-150 2004 conf/birthday/2004csp 25 Years Communicating Sequential Processes http://dx.doi.org/10.1007/11423348_8 db/conf/birthday/csp2004.html#ButlerHF04