Author of the publication

Predicate Detection for Parallel Computations with Locking Constraints.

, and . OPODIS, volume 70 of LIPIcs, page 17:1-17:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

 

Other publications of authors with the same name

Analysis of Distributed Systems With Many Identical Processes.. ICDCS, page 358-365. IEEE Computer Society, (1988)High level communication primitives for concurrent systems., and . ICCL, page 92-99. IEEE Computer Society, (1988)Highly scalable algorithm for distributed real-time text indexing., , , and . HiPC, page 332-341. IEEE Computer Society, (2009)How to Recover Efficiently and Asynchronously when Optimism Fails., and . ICDCS, page 108-115. IEEE Computer Society, (1996)Consistency Conditions for Multi-Object Distributed Operations., and . ICDCS, page 582-599. IEEE Computer Society, (1998)Characterization of Message Ordering Specifications and Protocols., and . ICDCS, page 492-499. IEEE Computer Society, (1997)Finding Satisfying Global States: All for One and One for All., , , and . IPDPS, IEEE Computer Society, (2004)Parallel Algorithms for Equilevel Predicates., and . ICDCN, page 104-113. ACM, (2024)Lattice Agreement in Message Passing Systems., , and . DISC, volume 121 of LIPIcs, page 41:1-41:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization., , and . OPODIS, volume 46 of LIPIcs, page 29:1-29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)