Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services-Reference-Cited by-同舟云学术

Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services

Published:2023-06-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems
language:
Short-container-title:

Author:

Shivam Kumar¹^ORCID,Paladugu Vishnu²^ORCID,Liu Yanhong A.¹^ORCID

Affiliation:

1. Stony Brook University, Stony Brook, United States of America

2. Stony Brook University, Stony Brook, USA

Funder

National Science Foundation

Office of Naval Research

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3584684.3597275

Reference45 articles.

1. Peter Alvaro , Neil Conway , Joseph M. Hellerstein , and William R. Marczak . 2011. Consistency Analysis in Bloom: a CALM and Collected Approach . In Conference on Innovative Data Systems Research. Peter Alvaro, Neil Conway, Joseph M. Hellerstein, and William R. Marczak. 2011. Consistency Analysis in Bloom: a CALM and Collected Approach. In Conference on Innovative Data Systems Research.

2. Peter Alvaro , William R. Marczak , Neil Conway , Joseph M. Hellerstein , David Maier , and Russell Sears . 2011 . Dedalus: Datalog in Time and Space . In Datalog Reloaded, Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 262--281. Peter Alvaro, William R. Marczak, Neil Conway, Joseph M. Hellerstein, David Maier, and Russell Sears. 2011. Dedalus: Datalog in Time and Space. In Datalog Reloaded, Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 262--281.

3. Mark Bickford . 2009. Component Specification Using Event Classes . In Component-Based Software Engineering, Grace A. Lewis, Iman Poernomo, and Christine Hofmeister (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 140--155. Mark Bickford. 2009. Component Specification Using Event Classes. In Component-Based Software Engineering, Grace A. Lewis, Iman Poernomo, and Christine Hofmeister (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 140--155.

4. Exploiting virtual synchrony in distributed systems

5. Brief Announcement: What's Live? Understanding Distributed Consensus

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check;2024 IEEE 44th International Conference on Distributed Computing Systems Workshops (ICDCSW);2024-07-23

2. Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho;Lecture Notes in Computer Science;2023