1.
SÉQUENTIELLE
[S]Maillet Méthode de test de protocoles - G. Bochmann
Les compositions définies dans le langage comprennent l'exécution
]
SÉQUENTIELLE
[
, les branchements alternatifs, le parallélisme avec couplage d'interactions et indépendant, et l'appel (récursif) de processus.