Trace theory (formulated by Mazurkiewicz in 1987) is a principled framework for defining equivalence relations for concurrent program …
While current bug detection techniques for concurrent software focus on unearthing low-level issues such as data races or deadlocks, …