Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
language:langs:chp [2021/12/29 15:35] rajit [Basic statements] |
language:langs:chp [2021/12/29 15:47] rajit [More on channel expressions and probes] |
||
---|---|---|---|
Line 217: | Line 217: | ||
Essentially every channel variable '' | Essentially every channel variable '' | ||
+ | ==== Exchange channels ==== | ||
+ | Exchange channels are those where data is exchanged between sender and receiver, and this is indicated directly in the channel type. The syntax for exchange channels is: | ||
+ | * '' | ||
+ | * '' | ||
+ | In this case, we assume that the exchange send will initiate the operation, and hence only the exchange receive can be probed. This doesn' | ||
+ | ==== Split synchronization ==== | ||
+ | |||
+ | Four-phase handshake channels involve two synchronizations. If you need to make this explicit in the CHP, the '' | ||