/** Le modèle de communication est supposé synchrone.
 *    - la réception du message est simultanée à son émission
 *    - le message reçu est correct ou bien erroné
**/

node ABPerreurUnidirectionnelle
  sub
    E : EmetteurABP;
    R : RecepteurABP;
  sync
    <E.send_M_T, R.receive_M_T>;
    <E.send_M_F, R.receive_M_F>;
    <E.receive_A_T, R.send_A_T>;
    <E.receive_A_F, R.send_A_F>;
    // les erreurs de transmission T->F ou F->T est possible
    <E.send_M_T, R.receive_M_F>;
    <E.send_M_F, R.receive_M_T>;
edon