home *** CD-ROM | disk | FTP | other *** search
/ cs.rhul.ac.uk / www.cs.rhul.ac.uk.zip / www.cs.rhul.ac.uk / pub / CS375 / spec1.fdr2~ < prev    next >
Text File  |  1999-02-01  |  105b  |  12 lines
  1. channel a, b, c
  2.  
  3. P = a -> b -> P
  4.  
  5. Q = a -> b -> STOP
  6.  
  7. R = a -> c -> STOP
  8.  
  9. assert P [T= Q
  10.  
  11. assert P [T= R
  12.