UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Verifying linearizability with hindsight.

O'Hearn, PW; Rinetzky, N; Vechev, MT; Yahav, E; Yorsh, G; (2010) Verifying linearizability with hindsight. In: Richa, AW and Guerraoui, R, (eds.) PODC. (pp. 85 - 94). ACM

Full text not available from this repository.


Type:Proceedings paper
Title:Verifying linearizability with hindsight.
ISBN-13:978-1-60558-888-9
DOI:10.1145/1835698.1835722
Publisher version:http://dl.acm.org/citation.cfm?id=1835698
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record