Protocol definition

This is the message sequence chart. TODO(denis.nosp@m.acos.nosp@m.taq@g.nosp@m.mail.nosp@m..com): This come from the examples http://www.mcternan.me.uk/mscgen/