Author of the publication

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

Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources., , and . CoRR, (2017)Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects., , , and . CoRR, (2015)Hoare-style specifications as correctness conditions for non-linearizable concurrent objects., , , and . OOPSLA, page 92-110. ACM, (2016)Concurrent Data Structures Linked in Time., , , and . ECOOP, volume 74 of LIPIcs, page 8:1-8:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations., , , and . CoRR, (2019)Hoare-style reasoning with (algebraic) continuations., and . ICFP, page 363-376. ACM, (2013)Concurrent Data Structures Linked in Time (Artifact)., , , and . Dagstuhl Artifacts Ser., 3 (2): 04:1-04:4 (2017)On algebraic abstractions for concurrent separation logics., , , , and . Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)Concurrent Data Structures Linked in Time., , , and . CoRR, (2016)On Algebraic Abstractions for Concurrent Separation Logics., , , , and . CoRR, (2020)