Conditional axioms and α/β calculus in process algebra
J. C. M. Baeten, Jan Aldert Bergstra, Jan Willem Klop · Utrecht University Repository (Utrecht University) · 1987
We define the alphabet of finite and infinite terms in ACP,, the algebra of communicating processes with silent steps, and also give approximations of it.Using the alphabet, we formulate some conditional axioms.The usefulness of the axioms is demonstrated in examples.