Sumários

Byzantine Reliable Broadcast

22 março 2017, 09:30 • Paolo Romano

Byzantine reliable broadcast: specification and algorithms

Avaliação do projecto

21 março 2017, 14:00 • Miguel Matos

Avaliação do projecto

Dependable distributed systems

21 março 2017, 12:30 • Miguel Matos

Basic abstractions.

Reliable broadcast in the crash model

20 março 2017, 13:30 • Paolo Romano

Reliable broadcast in the crash model: specification and algorithms

Visualização e discussão da I entrega do projecto

20 março 2017, 11:00 • Paolo Romano

Visualização e discussão da I entrega do projecto