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 >
Wrap
Text File
|
1999-02-12
|
555b
|
21 lines
channel board37A, alight37A, alight37B,
board111A, alight111A, alight111B,
pay70, pay90
BUS37 = board37A -> (pay90 -> alight37B -> STOP
[] alight37A -> STOP)
BUS111 = board111A -> (pay70 -> alight111B -> STOP
[] alight111A -> STOP)
SERVICE = BUS37 |~| BUS111
PASS = board37A -> pay90 -> alight37B -> STOP
SYSTEM = SERVICE
[
{|board37A,alight37A,alight37B,board111A,alight111A,alight111B,pay70,pay90|}
||
{|board37A,alight37A,alight37B,board111A,alight111A,alight111B,pay70,pay90|}
] PASS