The free process algebra generated by delta, epsilon and tau

作者：Rodenburg Piet H^*; Klop Jan Willem; Koymans Karst; Vrancken Jos

来源：Theoretical Computer Science, 2011, 412(28): 3370-3377.

DOI：10.1016/j.tcs.2011.03.019

• Process algebra
• Bisimulation
• Heyting algebra
• Empty process
• Silent step
• Infinite sums and products

We establish the structure of the initial process algebra with additive and multiplicative identity elements and no article silent step.

• 出版日期2011-6-20