Author of the publication

Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation.

, , and . PODC, page 305-313. ACM, (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

Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory., , and . CoRR, (2018)The SNOW Theorem Revisited., , , and . CoRR, (2018)Action Transducers and Timed Automata., and . CONCUR, volume 630 of Lecture Notes in Computer Science, page 436-455. Springer, (1992)High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract).. HSCC, volume 1569 of Lecture Notes in Computer Science, page 3. Springer, (1999)Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations.. Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 449-463. Springer, (1995)An Overview of Clock Synchronization., , and . Fault-Tolerant Distributed Computing, volume 448 of Lecture Notes in Computer Science, page 84-96. Springer, (1986)Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study., and . FM, volume 4085 of Lecture Notes in Computer Science, page 64-80. Springer, (2006)Modeling radio networks., and . Distributed Comput., 24 (2): 101-118 (2011)Complexity-Class-Encoding Sets.. J. Comput. Syst. Sci., 13 (1): 100-118 (1976)A Comparison of Polynomial Time Reducibilities., , and . Theor. Comput. Sci., 1 (2): 103-123 (1975)