A Trace Semantics for Long-Running Transactions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael J. Butler, C. A. R. Hoare, Carla Ferreira. A Trace Semantics for Long-Running Transactions. In Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders, editors, 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. Volume 3525 of Lecture Notes in Computer Science, pages 133-150, Springer, 2004. [doi]

This author has not been identified. Look up 'Michael J. Butler' in GoogleThis author has not been identified. Look up 'C. A. R. Hoare' in GoogleThis author has not been identified. Look up 'Carla Ferreira' in Google

runs on WebDSL