Hengbiao Yu, Zhenbang Chen, Ji Wang. An Operational Semantics for Model Checking Long Running Transactions. In Emilio Tuosto, Chun Ouyang, editors, Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Volume 8379 of Lecture Notes in Computer Science, pages 168-187, Springer, 2013. [doi]
Abstract is missing.