module CLIENT (SERVICE_TYPES, SERVICE_CHANNELS) is ------------------------------------------------------------------------------- process SENDING_CLIENT [INPUT : InputChannel] is loop var D : Data in D := any Data where D > (0 of Data); INPUT (cons_msg (D)); INPUT (?any Ind) end var end loop end process ------------------------------------------------------------------------------- end module