From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Specification and Complexity of Collaborative Text Editing.

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.

Multi-Shot Distributed Transaction Commit.G. Chockler, и A. Gotsman. DISC, том 121 из LIPIcs, стр. 14:1-14:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Making Byzantine consensus live.M. Bravo, G. Chockler, и A. Gotsman. Distributed Comput., 35 (6): 503-532 (2022)Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.A. Gotsman, F. Massacci, и M. Pistore. ARSPA@ICALP, том 135 из Electronic Notes in Theoretical Computer Science, стр. 59-77. Elsevier, (2005)Modular verification of preemptive OS kernels.A. Gotsman, и H. Yang. ICFP, стр. 404-417. ACM, (2011)Multi-Shot Distributed Transaction Commit (Extended Version).G. Chockler, и A. Gotsman. CoRR, (2018)Analysing Snapshot Isolation.A. Cerone, и A. Gotsman. PODC, стр. 55-64. ACM, (2016)Federated Byzantine Quorum Systems (Extended Version).Á. García-Pérez, и A. Gotsman. CoRR, (2018)Algebraic Laws for Weak Consistency.A. Cerone, A. Gotsman, и H. Yang. CONCUR, том 85 из LIPIcs, стр. 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Liveness-Preserving Atomicity Abstraction.A. Gotsman, и H. Yang. ICALP (2), том 6756 из Lecture Notes in Computer Science, стр. 453-465. Springer, (2011)Tutorial: Consistency Choices in Modern Distributed Systems.A. Gotsman. PODC, стр. 491. ACM, (2018)