10 citations · 14 across the 2 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.…