Cited By
View all- Overbeek RBlanchette JHriţcu C(2020)Formalizing determinacy of concurrent revisionsProceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3372885.3373820(258-269)Online publication date: 20-Jan-2020
- Lesani M(2019)Transaction Protocol Verification with Labeled Synchronization LogicNASA Formal Methods10.1007/978-3-030-20652-9_19(280-297)Online publication date: 28-May-2019
- Chong NSorensen TWickerson J(2018)The semantics of transactions and weak memory in x86, Power, ARM, and C++ACM SIGPLAN Notices10.1145/3296979.319237353:4(211-225)Online publication date: 11-Jun-2018
- Show More Cited By