module IN_OUT (TYPES, CHANNELS, CONSTANTS) is

process ALT [P_IN, P_OUT: PROBABILISTIC] (ID: PID) is
   alt
      P_IN (ID, P_V)
   []
      P_OUT (ID, 1_MINUS (P_V))
   end alt
end process

process MAIN [P_IN, P_OUT: PROBABILISTIC] is
   loop
      par
         ALT [...] (1 of PID)
      ||
         ALT [...] (2 of PID)
      ||
         ALT [...] (3 of PID)
      ||
         ALT [...] (4 of PID)
      end par
   end loop
end process

end module