| 
|
Quote: in CSP, x->P describes an object engaging in event x and then doing process P
topics >
all references >
references g-h >
Topic:
event controlled processing
Topic:
calculus of communicating processes
Quotation Skeleton
Let x be an event and let P … the event x and then behaves exactly as … [p. 25] Note that the operator -> always takes … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: event controlled processing (46 items)
Topic: calculus of communicating processes (13 items)