26 citations · 106 across the 19 of their papers we have counts for
1 paper · 2 filters
Azadeh Farzan, Umang Mathur
Trace theory is a principled framework for defining equivalence relations for concurrent program runs based on a commutativity relation over the set of atomic steps taken by indivi…