Holistic Verification of Blockchain Consensus. | 0 | 0.34 | 2022 |
Brief Announcement: Holistic Verification of Blockchain Consensus | 0 | 0.34 | 2022 |
Interviews with the 2021 CONCUR Test-of-Time Award Recipients. | 0 | 0.34 | 2021 |
Verification of randomized consensus algorithms under round-rigid adversaries (Feb, 10.1007/s10009-020-00603-x, 2021) | 0 | 0.34 | 2021 |
A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries. | 0 | 0.34 | 2021 |
Verification of randomized consensus algorithms under round-rigid adversaries | 0 | 0.34 | 2021 |
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. | 0 | 0.34 | 2019 |
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. | 0 | 0.34 | 2018 |