Deterministic replay for message-passing-based concurrent programs

Mohamed Elwakil, Zijiang Yang. Deterministic replay for message-passing-based concurrent programs. ACM Trans. Design Autom. Electr. Syst., 17(3):22, 2012. [doi]

Abstract

Abstract is missing.