( en | de | ru )

 

Disambiguation of "Sezgin, Ali"

Author of the publication

copydeleteadd this publication to your clipboard
On the definition of sequential consistency.

, and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Ursula Sezgin

Zeynep Sezgin

Erdinc Sezgin

Ursula Sezgin

Ursula Sezgin

 

Other publications of authors with the same name

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