( en | de | ru )

 

Disambiguation of "Parkinson, Matthew J."

Author of the publication

copydeleteadd this publication to your clipboard
A Generic Logic for Proving Linearizability.

, , and . FM, volume 9995 of Lecture Notes in Computer Science, page 426-443. (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.

Edward Parkinson

Richard B Parkinson

Stanley R. Parkinson

Matthew Mellon

Matthew David

 

Other publications of authors with the same name

The Relationship Between Separation Logic and Implicit Dynamic Frames, and . Logical Methods in Computer Science, (2012)The Relationship between Separation Logic and Implicit Dynamic Frames., and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 439-458. Springer, (2011)A Generic Logic for Proving Linearizability., , and . FM, volume 9995 of Lecture Notes in Computer Science, page 426-443. (2016)Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types., , , and . ACM Trans. Program. Lang. Syst., 39 (3): 11:1-11:54 (2017)When Concurrency Matters: Behaviour-Oriented Concurrency., , , , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1531-1560 (October 2023)New Lace and Arsenic: adventures in weak memory with a program logic., , and . CoRR, (2015)Local reasoning for Java.. University of Cambridge, UK, (2006)British Library, EThOS.Permission accounting in separation logic., , , and . POPL, page 259-270. ACM, (2005)A Generic Logic for Proving Linearizability (Extended Version)., , and . CoRR, (2016)Separation Logic for Object-Oriented Programming., and . Aliasing in Object-Oriented Programming, volume 7850 of Lecture Notes in Computer Science, Springer, (2013)