module VIRTUAL (TYPES, CHANNELS) is

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

-- declaration of virtual process P, which is provided by the various files
-- Protocols/*.lnt

process P [NCS: Pid, CS: Access, A, C: Operation] (i : Pid) is
   !virtual
end process

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

end module