Book chapters details

  • A trace semantics for long-running transactions
  • Jan 2005
  • Communicating Sequential Processes. The First 25 Years
  • Springer Berlin Heidelberg
  • Michael Butler, Tony Hoare, Carla Ferreira
  • LNCS
  • http://link.springer.com/chapter/10.1007/11423348_8
  • 10.1007/11423348_8
  • 133 to 150
  • 1 Jan 2005