Publications
Filter by
Open menu
1 result for
Peter W. O'Hearn
Verifying linearizability with Hindsight
Peter W. O'Hearn
Noam Rinetzky
et al.
2010
PODC 2010