module SERVICE_CHANNELS (SERVICE_TYPES) is

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

-- these two definitions are common to the service and the protocol

channel InputChannel is
    (M : Msg),
    (I : Ind)
end channel

channel OutputChannel is
    (I : Ind),
    (D : Data, I : Ind)
end channel

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

end module