13 citations · 83 across the 26 of their papers we have counts for
1 paper · 2 filters
Ehud Shapiro
We present a novel mathematical framework for the specification and analysis of fault-resilient distributed protocols and their implementations, with the following components: 1. T…