home *** CD-ROM | disk | FTP | other *** search
/ cs.rhul.ac.uk / www.cs.rhul.ac.uk.zip / www.cs.rhul.ac.uk / pub / CS375 / buses.csp < prev    next >
Text File  |  1999-02-12  |  555b  |  21 lines
  1. channel board37A, alight37A, alight37B, 
  2.         board111A, alight111A, alight111B, 
  3.         pay70, pay90
  4.  
  5. BUS37 = board37A -> (pay90 -> alight37B -> STOP
  6.                      [] alight37A -> STOP)
  7.  
  8. BUS111 = board111A -> (pay70 -> alight111B -> STOP
  9.                       [] alight111A -> STOP)
  10.  
  11. SERVICE = BUS37 |~| BUS111
  12.  
  13. PASS = board37A -> pay90 -> alight37B -> STOP
  14.  
  15. SYSTEM = SERVICE
  16. [
  17. {|board37A,alight37A,alight37B,board111A,alight111A,alight111B,pay70,pay90|}
  18. || 
  19. {|board37A,alight37A,alight37B,board111A,alight111A,alight111B,pay70,pay90|}
  20. ] PASS
  21.