home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
cs.rhul.ac.uk
/
www.cs.rhul.ac.uk.zip
/
www.cs.rhul.ac.uk
/
pub
/
CS375
/
student1.csp
< prev
next >
Wrap
Text File
|
1999-01-22
|
377b
|
16 lines
channel year1, year2, year3, pass, fail, graduate, present
S = {| year1, year2, year3, pass, fail, graduate |}
P = {| pass, present |}
STUDENT = year1 -> (pass -> YEAR2 [] fail -> STUDENT)
YEAR2 = year2 -> (pass -> YEAR3 [] fail -> YEAR2)
YEAR3 = year3 -> (pass -> graduate -> STOP [] fail -> YEAR3)
PARENT = pass -> present -> PARENT
SYSTEM = STUDENT [ S || P ] PARENT