| 
|
Quote: in CSP, (x->P | y->Q) describes an object that engages in events x or y and then behaves as process P or Q
topics >
all references >
references g-h >
Topic:
waitfor condition in parallel processing
Topic:
calculus of communicating processes
Topic:
conditional control by guards
Quotation Skeleton
If x and y are distinct events (x->P … After the first event has occurred, the subsequent … Q if the first event was y. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: waitfor condition in parallel processing (20 items)
Topic: calculus of communicating processes (13 items)
Topic: conditional control by guards (17 items)