module ALGORAND (NODE) is

process MAIN [RECEIVE_BLOCK_PROPOSAL: BLOCK, COMMIT_PROPOSED_BLOCK: COMMIT,
              COMMIT_EMPTY_BLOCK: COMMIT, SYNC: SYNCHRONIZE, SET_BIT: SET_BIT,
              PROPAGATE: PROPAGATE, SELF_PROPAGATE: SELF_PROPAGATE,
              TALLY: TALLY, P_IN, P_OUT, P_ZERO, P_ONE: PROBABILISTIC] is
   par RECEIVE_BLOCK_PROPOSAL, PROPAGATE, SYNC,
       COMMIT_PROPOSED_BLOCK, COMMIT_EMPTY_BLOCK in
      NODE [...] (1 of PID)
   ||
      NODE [...] (2 of PID)
   ||
      NODE [...] (3 of PID)
   ||
      NODE [...] (4 of PID)
   end par
end process

end module