module ZERO_ONE (TYPES, CHANNELS, CONSTANTS) is

process ALT [P_ZERO, P_ONE: PROBABILISTIC] (ID: PID, P: PROB) is
   alt
      P_ZERO (ID, P)
   []
      P_ONE (ID, 1_MINUS (P))
   end alt
end process

process PART [P_ZERO, P_ONE: PROBABILISTIC] (P: PROB) is
   par
      ALT [...] (1 of PID, P)
   ||
      ALT [...] (2 of PID, P)
   ||
      ALT [...] (3 of PID, P)
   ||
      ALT [...] (4 of PID, P)
   end par
end process

process MAIN [P_ZERO, P_ONE: PROBABILISTIC] is
   PART [...] (P_H);
   loop
      alt
         i;
         PART [...] (0.5 of PROB)
      []
         i;
         PART [...] (P_H)
      end alt
   end loop
end process

end module