Author of the publication

Time and State in Asynchronous Distributed Systems.

, and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)

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

Concurrent Unrolled Skiplist., , and . ICDCS, page 1579-1589. IEEE, (2019)Database Managed External File Update., and . ICDE, page 557-564. IEEE Computer Society, (2001)Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios., , , , , , and . IASTED PDCS, page 459-464. IASTED/ACTA Press, (2005)Transformations in Secure and Fault-Tolerant Distributed Computation., , and . GI Jahrestagung (1), volume P-67 of LNI, page 410-412. GI, (2005)On Replica Placement in High-Availability Storage Under Correlated Failure., , and . COCOA, volume 9486 of Lecture Notes in Computer Science, page 348-363. Springer, (2015)Concurrent Wait-Free Red Black Trees., , and . SSS, volume 8255 of Lecture Notes in Computer Science, page 45-60. Springer, (2013)Online Algorithms to Generate Slices for Regular Temporal Logic Predicates., , and . ICDCN, volume 8314 of Lecture Notes in Computer Science, page 165-180. Springer, (2014)Improving efficacy of internal binary search trees using local recovery., and . PPoPP, page 42:1-42:2. ACM, (2016)Fast concurrent lock-free binary search trees., and . PPoPP, page 317-328. ACM, (2014)Synthesizing Imperative Code from Answer Set Programming Specifications., , , and . LOPSTR, volume 12042 of Lecture Notes in Computer Science, page 75-89. Springer, (2019)