( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the definition of sequential consistency.

, и . Inf. Process. Lett., 96 (6): 193-196 (2005)

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.

Ursula Sezgin

Ursula Sezgin

Zeynep Sezgin

Erdinc Sezgin

Ursula Sezgin

 

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

Simplifying Linearizability Proofs with Reduction and Abstraction., , , , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 296-311. Springer, (2010)On the definition of sequential consistency., и . Inf. Process. Lett., 96 (6): 193-196 (2005)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , и . POPL, стр. 429-442. ACM, (2017)Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , и . POPL, стр. 608-621. ACM, (2016)Moving Around: Lipton's Reduction for TSO - (Regular Submission)., и . VSTTE, том 9593 из Lecture Notes in Computer Science, стр. 165-182. Springer, (2015)On the decidability of shared memory consistency verification., и . MEMOCODE, стр. 199-208. IEEE Computer Society, (2005)Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning, , и . Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)An annotation assistant for interactive debugging of programs with common synchronization idioms., , , и . PADTAD, ACM, (2009)Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning., , и . Design and Validation of Concurrent Systems, том 09361 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Run-Time Verification of Optimistic Concurrency., , , и . RV, том 6418 из Lecture Notes in Computer Science, стр. 384-398. Springer, (2010)