17 citations · 48 across the 18 of their papers we have counts for
1 paper · 1 filter
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…