no code implementations • 19 Aug 2019 • Mike H. Ji
The most important notations of Communicating Sequential Process(CSP) are the process and the prefix (event)$\rightarrow$(process) operator.