Closed dbosk closed 6 years ago
Add the different phases of the protocol (#44) as algorithms used in the system model?
The system model looks clear enough for now. Closing.
Add the different phases of the protocol (#44) as algorithms used in the system model?