Malay K. Ganai, Chao Wang. Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 253-269, Springer, 2010. [doi]
Abstract is missing.