module VIRTUAL (DEFINITIONS) is

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

-- declaration of virtual process MC, which is defined in either module
-- CONTROLLER_SEQ or CONTROLLER_PAR

process MC [REQ, INF: SigBoolChannel, CMD: SigChannel, LAMBDA, NU: none]
           (p0, p1, p2, p3, tr: Bool) is
   !virtual
end process

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

end module