home *** CD-ROM | disk | FTP | other *** search
/ cs.rhul.ac.uk / www.cs.rhul.ac.uk.zip / www.cs.rhul.ac.uk / pub / CS375 / vm2.csp < prev   
Text File  |  1999-01-18  |  44b  |  4 lines
  1. channel coin, choc
  2.  
  3. VM = coin -> choc -> VM
  4.