module VIRTUAL (DATA) is

-------------------------------------------------------------------------------

-- declaration of virtual process STATION, which is defined in the modules:
--    BASIC_STATION
--    CHANG_ROBERTS_STATION_ORIGINAL
--    CHANG_ROBERTS_STATION_REVISION_1
--    CHANG_ROBERTS_STATION_REVISION_2
--    CHANG_ROBERTS_STATION_REVISION_3
--    GARAVEL_MOUNIER_STATION
--    LE_LANN_STATION_ORIGINAL
--    LE_LANN_STATION_REVISION_1
--    LE_LANN_STATION_REVISION_2
--    LE_LANN_STATION_REVISION_3

process STATION [OPEN, CLOSE:ACCESS, PRED, SUCC:PORT] (Ai:ADDR, INIT:BOOL) is
   !virtual
end process

-------------------------------------------------------------------------------

-- declaration of virtual process LINK, which is defined in the modules:
--    LINK_1
--    LINK_2
--    LINK_3
--    LINK_4
--    LINK_5
--    LINK_6

process LINK [INPUT, OUTPUT:PORT] is
   !virtual
end process

-------------------------------------------------------------------------------

end module