Contents:

• basics of synchronisation;
• an introductory example;
• protocols for a flexible specification of the way of synchronisation;
• conversions for a shorter and more intuitive specification of the model;
• how to create a graph of the architecture of the modelled system;
• some example models.