sends that character to process named east. The parallel composition

[west::DISASSEMBLE || X::COPY || east::ASSEMBLE]

assigns the names west to the DISASSEMBLE process, X to the COPY process, and east to the ASSEMBLE process, and executes these three processes concurrently.

Development into process algebra

Following the publication of the original version of CSP, Hoare, Stephen Brookes, and A. W. Roscoe

1.Previous
3.Next