Author of the publication

Decentralized Asynchronous Crash-Resilient Runtime Verification.

, , , , and . CONCUR, volume 59 of LIPIcs, page 16:1-16:15. 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

A conjecture on cycle-pancyclism in tournaments., and . Discuss. Math. Graph Theory, 18 (2): 243-251 (1998)Two-Agent Approximate Agreement from an Epistemic Logic Perspective., , and . Computación y Sistemas, (2022)Asynchronous Agreement and Its Relation with Error-Correcting Codes., , , and . IEEE Trans. Computers, 56 (7): 865-875 (2007)A topological perspective on distributed network algorithms., , , , , and . Theor. Comput. Sci., (2021)An Introductory Tutorial to Concurrency-Related Distributed Recursion., , and . Bull. EATCS, (2013)A Linearizability-based Hierarchy for Concurrent Specifications., , and . Commun. ACM, 66 (1): 86-97 (2023)Distributed computability: Relating k-immediate snapshot and x-set agreement., , , and . Inf. Comput., 285 (Part): 104815 (2022)On the performance of distributed networks controlled by a simple synchronizer.. Technion - Israel Institute of Technology, Israel, (1990)A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus., , , and . SSS, volume 11914 of Lecture Notes in Computer Science, page 307-322. Springer, (2019)Continuous Tasks and the Asynchronous Computability Theorem., , and . ITCS, volume 215 of LIPIcs, page 73:1-73:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)