Updated protocol description

* Some minor fixes of pseudo code
* Description of the features provided by the synch primitive