@inproceedings{DBLP:conf/birthday/ButlerHF04,
  title = "A Trace Semantics for Long-Running Transactions",
  author = "Michael J. Butler and C. A. R. Hoare and Carla Ferreira",
  year = "2004",
  booktitle = "Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers",
  editor = "Ali E. Abdallah and Cliff B. Jones and Jeff W. Sanders",
  pages = "133-150",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3525",
  doi = "10.1007/11423348_8",
}