Description of the Synchronization library.

This part includes only the interfaces dealing with the purpose of synchronizations. This means mainly that only Consistency properties are considered in this part.

Currently the identified synchronization events are: