From 2d20363870469521bd490e4becab44b80c55a689 Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Sat, 20 Jan 2024 18:51:54 +0000 Subject: [PATCH] updated readme --- README.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d873632..67e23b1 100644 --- a/README.md +++ b/README.md @@ -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