Sumários
Shared Memory: Introduction and regular register
11 abril 2019, 09:30 • Paolo Romano
- Specification of correctness semantics for distributed registers: Safe, Regular and Atomic semantics
- Implementation of (1,N) Regular register in the crash model
Implementation of the project (stage 1)
10 abril 2019, 08:00 • Daniel Filipe Salvador de Castro
Implementation of stage 1
Implementation of the project (stage 1)
9 abril 2019, 14:00 • Daniel Filipe Salvador de Castro
Implementation of stage 1
Reliable Broadcast in the Byzantine fault model
9 abril 2019, 12:30 • Paolo Romano
- Authenticated Echo Broadcast Algorithm
- Signed Echo Broadcast Algorithm
- Double Echo Broadcast Algorithm