Skip to content

Abstraction for Concurrent Objects.

Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang

VenueAESOP
Year2009
ProceedingsESOP

Browse the full ESOP paper archive.