Nicer order of functions
Refactored bulk_send
Many at most once messages
At most once does not mean at least once :-)
Finishing a protocol is explicitely factored out
Handle the factored out finishing of protocols
The completed messages is handled by the sender not the receiver
Implemented the finish calls for protocols
Obsolete comments
Testing with lossy channels
Removed logging due to much noise