| 
|
Quote: P||Q are concurrent when the alphabets of P and Q differ; only shared events require simultaneous participation
topics >
all references >
references g-h >
Topic:
calculus of communicating processes
Quotation Skeleton
The operator [ || ] … can be generalized to the case when its … When such processes are assembled to run concurrently, … require simultaneous participation of both P and Q. … no concern to Q … Such events may occur independently of Q whenever … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: calculus of communicating processes (13 items)