andr3/distributed_system_coursework
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 1 Wiki Activity

updated readme
All checks were successful
continuous-integration/drone/push Build is passing
Details

Browse Source
This commit is contained in:
Andre Henriques 2024-01-20 18:51:54 +00:00
parent 8b35a1fc85
commit 2d20363870
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@ -119,11 +119,16 @@ The server will answer with one of the following:
# Properties
!!! TODO !!!
- If a game exists then there was a process that create it.
- Eventually all processes would will be in the same game state
- A player can not make a move in a game state that is not the last
- If two players make a move at the same time for the same game only one of the moves happens and the other player eventually gets notified
# Assumptions
!!! TODO !!!
- Processes won't be behave in a byzantine way
- Only a minority of processes can fail
- Will be run in a partial synchronous system
# Usage instructions