module CHANNELS (TYPES) is

-------------------------------------------------------------------------------

channel InfoChannel is
   (Id: Nat3, m: Message1, net: Network),
   (Id: Nat3, m: Message1)
end channel

-------------------------------------------------------------------------------

channel BusResetChannel is
   (m: Message1),
   (m: Message1, net: Network)
end channel

-------------------------------------------------------------------------------

channel UpDownChannel is
   (Id: Nat3, m: Message1)
end channel

-------------------------------------------------------------------------------

channel EventChannel is
   (m: Message1, Id: Nat3),
   (m: Message1, Id: Nat3, b: bool)
end channel

-------------------------------------------------------------------------------

end module