Remodel parts of the protocol implementation as finite-state machines
This will make for some nice diagrams, make the software easier to verify and understand and get rid of the if
& else
hell at some parts.
This will make for some nice diagrams, make the software easier to verify and understand and get rid of the if
& else
hell at some parts.