A trace semantics for long-running transactions (2004)

by M J Butler, C A R Hoare, C Ferreira
Venue:In 25 Years CSP, number 3525 in LNCS