( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying C11 Programs Operationally.

, , , и . CoRR, (2018)

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.

Jaiyeola Doherty

Joseph Doherty

Dennis Doherty

Monika Doherty

John Doherty

 

Другие публикации лиц с тем же именем

Verifying C11 Programs Operationally., , , и . CoRR, (2018)Unifying Operational Weak Memory Verification: An Axiomatic Approach., , , и . ACM Trans. Comput. Log., 23 (4): 27:1-27:39 (2022)On Strong Observational Refinement and Forward Simulation., , , , и . CoRR, (2021)Linearizability and Causality., и . SEFM, том 9763 из Lecture Notes in Computer Science, стр. 45-60. Springer, (2016)Convolution and concurrency., , и . Math. Struct. Comput. Sci., 31 (8): 918-949 (2021)Towards formally specifying and verifying transactional memory., , , и . Formal Aspects Comput., 25 (5): 769-799 (2013)Verifying correctness of persistent concurrent data structures: a sound and complete method., , , , и . Formal Aspects Comput., 33 (4-5): 547-573 (2021)Brief Announcement: On Strong Observational Refinement and Forward Simulation., , , , и . DISC, том 209 из LIPIcs, стр. 55:1-55:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL., , и . CoRR, (2020)Simpler Backward Simulation Proofs., и . CATS, том 109 из CRPIT, стр. 71-78. Australian Computer Society, (2010)