The significance of the model lies in that it initiates a proof theoretical approach to concurrency theory.

• 文中用证明论方法研究并行理论，为进程代数演算开辟了一条新的研究途径。