Sumários

Project stage 2 presentation and discussion

4 abril 2017, 14:00 Miguel Matos

Project stage 2 presentation and discussion


Shared Memory

4 abril 2017, 12:30 Miguel Matos

Introduction to shared memory.


Consensus in the crash stop model

3 abril 2017, 13:30 Paolo Romano

- Problem specification

- An algorithm for partially synchronous systems
- FLP result


Apoio ao projecto

3 abril 2017, 11:00 Paolo Romano

Apoio ao projecto


Reliable broadcast

31 março 2017, 12:30 Miguel Matos

Byzantine reliable broadcast.