13 citations · 13 across the 1 of their papers we have counts for
1 paper
Giorgio Delzanno, Michele Tatarek, Riccardo Traverso
We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed t…