| 
|
Quote: P||Q is a process composed of synchronous, interacting processes P and Q; same as Q||P
topics >
all references >
references g-h >
Topic:
specification and design of distributed systems
Topic:
calculus of communicating processes
Quotation Skeleton
If P and Q are processes with the … composed of processes P and Q interacting in … [p.67] The first law [for ||] expresses the logical … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: specification and design of distributed systems (14 items)
Topic: calculus of communicating processes (13 items)