Concurrent = l'opération est conçue pour gérer plusieurs appels simultanés ; Guarded = chaque appel attend la fin des autres ...

Concurrent = l'opération est conçue pour gérer plusieurs appels simultanés ; Guarded = chaque appel attend la fin des autres appels ; Sequential = l'opération n'est pas conçue pour la gestion d'appels simultanés.