Author of the publication

Linearizability and Causality.

, and . SEFM, volume 9763 of Lecture Notes in Computer Science, page 45-60. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Unifying Operational Weak Memory Verification: An Axiomatic Approach., , , and . ACM Trans. Comput. Log., 23 (4): 27:1-27:39 (2022)Verifying C11 Programs Operationally., , , and . CoRR, (2018)On Strong Observational Refinement and Forward Simulation., , , , and . CoRR, (2021)Linearizability and Causality., and . SEFM, volume 9763 of Lecture Notes in Computer Science, page 45-60. Springer, (2016)Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL., , and . CoRR, (2020)Formal Verification of a Practical Lock-Free Queue Algorithm., , , and . FORTE, volume 3235 of Lecture Notes in Computer Science, page 97-114. Springer, (2004)Verifying Concurrent Data Structures by Simulation., , and . REFINE, volume 137 of Electronic Notes in Theoretical Computer Science, page 93-110. Elsevier, (2005)Simpler Backward Simulation Proofs., and . CATS, volume 109 of CRPIT, page 71-78. Australian Computer Society, (2010)Convolution and concurrency., , and . Math. Struct. Comput. Sci., 31 (8): 918-949 (2021)Towards formally specifying and verifying transactional memory., , , and . Formal Aspects Comput., 25 (5): 769-799 (2013)