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

Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges., and . UTP, volume 11885 of Lecture Notes in Computer Science, page 176-197. Springer, (2019)Encoding fairness in a synchronous concurrent program algebra: extended version with proofs., and . CoRR, (2018)Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style., , and . CoRR, (2021)Handling localisation in rely/guarantee concurrency: An algebraic approach., and . CoRR, (2019)Capabilities for Java: Secure Access to Resources., , and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 67-84. Springer, (2017)Encoding Fairness in a Synchronous Concurrent Program Algebra., and . FM, volume 10951 of Lecture Notes in Computer Science, page 222-239. Springer, (2018)A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency., , , and . Formal Aspects Comput., 31 (2): 133-163 (2019)Specifying and Reasoning About Shared-Variable Concurrency., , and . Theories of Programming and Formal Methods, volume 14080 of Lecture Notes in Computer Science, page 110-135. Springer, (2023)Using scylindric algebra to support local variables in rely/guarantee concurrency., and . FormaliSE, page 108-119. IEEE, (2023)Reasoning about distributive laws in a concurrent refinement algebra., and . CoRR, (2024)