Normal Form in a Delay-Insensitive Algebra
Rix Groenboom, Mark B. Josephs, Paulus Lucassen, Jan Tijmen Udding · University of Groningen research database (University of Groningen / Centre for Information Technology) · 1993
A process algebra is given for specifying delay-insensitive processes. We show in two steps that expressions in this algebra have a normal form, as a consequence of which the algebra is complete. First, the number of operators in process expressions is reduced by a set of rewrite laws. The resulting expressions are in a so-called pre-normal form. Secondly, we introduce some additional laws to transform a process from its pre-normal form to its normal form.