( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
When Concurrency Matters: Behaviour-Oriented Concurrency.

, , , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1531-1560 (октября 2023)

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.

Edward Parkinson

Richard B Parkinson

Stanley R. Parkinson

Matthew Mellon

Matthew David

 

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

The Relationship between Separation Logic and Implicit Dynamic Frames., и . ESOP, том 6602 из Lecture Notes in Computer Science, стр. 439-458. Springer, (2011)New Lace and Arsenic: adventures in weak memory with a program logic., , и . CoRR, (2015)The Relationship Between Separation Logic and Implicit Dynamic Frames, и . Logical Methods in Computer Science, (2012)Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types., , , и . ACM Trans. Program. Lang. Syst., 39 (3): 11:1-11:54 (2017)A Generic Logic for Proving Linearizability., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 426-443. (2016)When Concurrency Matters: Behaviour-Oriented Concurrency., , , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1531-1560 (октября 2023)Local reasoning for Java.. University of Cambridge, UK, (2006)British Library, EThOS.Permission accounting in separation logic., , , и . POPL, стр. 259-270. ACM, (2005)Verifying Generics and Delegates., , и . ECOOP, том 6183 из Lecture Notes in Computer Science, стр. 175-199. Springer, (2010)Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library., , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 327-351. Springer, (2013)