module NODE (DATA, CHANNELS, APPLI, TRANS, LINK) is

process Node [LDreq: Dreq, LDcon: Dcon, LDind: Dind, LDres: Ack,
              PDreq, PDind: Sig, PAreq: Areq, PAcon: Acon, PCind: Id]
             (n, id: Nat, v: Version, s: Scenario) is
   hide TDreq: Dreq in
      par
         TDreq ->
            Application [TDreq] (n, id, s)
      ||
         TDreq, LDreq, LDcon, LDind, LDres ->
            Trans [LDreq, LDcon, LDind, LDres, TDreq] (n, id, v)
      ||
         LDreq, LDcon, LDind, LDres ->
            Link [LDreq, LDcon, LDind, LDres, PDreq, PDind, PAreq, PAcon,
                   PCind] (n, id)
      end par
   end hide
end process

end module