Travelled to:1 × France
1 × Spain
Collaborated with:G.Delzanno A.Rensink
Talks about:consensus (1) broadcast (1) asynchron (1) protocol (1) network (1) complex (1) analysi (1) versus (1) vector (1) result (1)
Person: Riccardo Traverso
DBLP: Traverso:Riccardo
Contributed to:
2014
2013Wrote 2 papers:
- GRAPHITE-2014-DelzannoRT #analysis #protocol
- Graph- versus Vector-Based Analysis of a Consensus Protocol (GD, AR, RT), pp. 44–57.
- LATA-2013-DelzannoT #complexity #decidability #network #verification
- Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks (GD, RT), pp. 238–249.