( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modularising Opacity Verification for Hybrid Transactional Memory.

, и . FORTE, том 10321 из Lecture Notes in Computer Science, стр. 33-49. Springer, (2017)

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.

Krishna Gopal Dongol

 

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

An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction.. FTSCS, том 694 из Communications in Computer and Information Science, стр. 20-35. (2016)Proving linearisability via coarse-grained abstraction, и . CoRR, (2012)View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)., , , , и . CoRR, (2022)A Survey of Practical Formal Methods for Security., , , , , , и . Formal Aspects Comput., 34 (1): 1-39 (2022)Verifying correctness of persistent concurrent data structures: a sound and complete method., , , , и . Formal Aspects Comput., 33 (4-5): 547-573 (2021)Deriving real-time action systems in a sampling logic., и . Sci. Comput. Program., 78 (11): 2047-2063 (2013)Comparing Degrees of Non-Determinism in Expression Evaluation., , , и . Comput. J., 56 (6): 741-755 (2013)Towards linking correctness conditions for concurrent objects and contextual trace refinement., и . Refine@FM, том 209 из EPTCS, стр. 107-111. (2015)Formalising Progress Properties of Non-blocking Programs.. ICFEM, том 4260 из Lecture Notes in Computer Science, стр. 284-303. Springer, (2006)Brief Announcement: On Strong Observational Refinement and Forward Simulation., , , , и . DISC, том 209 из LIPIcs, стр. 55:1-55:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)