A Trace Semantics for Long−Running Transactions
Michael J. Butler‚ C. A. R. Hoare and Carla Ferreira
Book Title
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
Year
2004