13 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
Antonio Casimiro, Emelie Ekenstedt, Elad Michael Schiller
A fault-tolerant negotiation-based intersection crossing protocol is presented. Rigorous analytic proofs are used for demonstrating the correctness and fault-tolerance properties.…