Quote: an interaction sends a message across a channel to a process's free variable

Note

A CCS interaction is symbolized by lambda x.P[x] | lambdaBar V.Q -> P[V] | Q lambda is the name of the channel, lambdaBar is the source of the channel, | is process composition, x.P[x] is process P with free variable x, V is the message sent from Q.

Related Topics

Topic: synchronous communication through a channel (28 items)