Chapter 3
An Axiomatization of Discrete Event Processes

This chapter is organized as follows.We introduce basic algebra for true concurrency in Section 3.1，algebra for parallelism in true concurrency in Section 3.2，recursion in Section 3.3，Silent step and abstraction in Section 3.4. crA63NGj3akF/PTsCAHDIg+KU50GkIwrs0X9oR+XH6Z5zkzYugUZgHk0tcmHMD/K