AN APPLICATIVE NOTATION FOR COMMUNICATING PROCESSES
C Zhou · Chinese Journal of Computers · 1983
six papers' series is being published, which is persuing a semantics for communicating processes. As the first paper of this series, a notation for distributed programming is developed, including the constructs: output, input, alternation, parallelism, channel renaming and hiding, and recursion.The rest of this series will be respectively entitled as: A Deterministic Semanties of Communieating Processes, Partial Correctness of Protocal,Weakest Environment of Communicating Processes, A Nondeterministic Semantics of Communicating Processes (Ⅰ) and (Ⅲ) .