home *** CD-ROM | disk | FTP | other *** search
/ cs.rhul.ac.uk / www.cs.rhul.ac.uk.zip / www.cs.rhul.ac.uk / pub / CS375 / independent.csp < prev    next >
Text File  |  1999-01-25  |  131b  |  8 lines
  1. channel up, down, left, right
  2.  
  3. UD = up -> down -> UD
  4.  
  5. LR = left -> right -> LR
  6.  
  7. UDLR = UD [ {| up,down |} || {| left,right |} ] LR
  8.