/** Le modèle de communication est supposé synchrone.
 *    - la réception du message est simultanée à son émission
**/

node ABPparfait
  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>;
edon