A Trace and Replay Algorithm of Concurrent Processes

• 并发进程的一种跟踪与重演算法