Redirect Notice
 The previous page is sending you to https://www.researchgate.net/figure/The-Join-calculus-Processes-P-Q-x-V-Asynchronous-message-on-x-def-D-in-P-Definition_tbl1_221056927.

 If you do not want to visit that page, you can return to the previous page.