-- vm1.csp
--
-- Simon Gay, Royal Holloway, January 1999
--
--

channel coin, choc

VM = coin -> choc -> STOP