Briques de base pour toute étude, analyse ou construction de système ou d'application coopérative.("design patterns")
- Exemples-type qui permettent de modéliser des classes de problèmes réels fréquemment rencontrés et présents à tous les niveaux dans les systèmes et dans les applications concurrentes.
- Acceptés par la communauté pour leur capacité à fournir des schémas de conception
- Solutions des paradigmes pouvant servir de schémas de construction de programmes.
- l'exclusion mutuelle qui modélise l'accès cohérent à de ressource partagées,
- la cohorte qui modélise la coopération d'un groupe de taille maximale donnée,
- les producteurs-consommateurs, exemple qui modélise la communication par un canal fiable,
- les lecteurs-rédacteurs exemple qui modélise la compétition cohérente,
- le repas des philosophes schéma qui modélise l'allocation de plusieurs ressources.
- la terminaison d'un traitement coopératif
- l'élection d'un coordonnateur
- la diffusion de messages fiable et avec ordre de réception (total, causal) identique pour tous les processus