module EXPERIMENT_08 (LINK_4, CHANG_ROBERTS_STATION_REVISION_1, NETWORK_WITHOUT_CRASHES) is process MAIN [OPEN, CLOSE:ACCESS] is hide PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3:PORT in NETWORK [OPEN, CLOSE, PRED1, PRED2, PRED3, SUCC1, SUCC2, SUCC3] end hide end process end module