The free process algebra generated by δ, ϵ and τ
AbstractWe establish the structure of the initial process algebra with additive and multiplicative identity elements and no article silent step
Publisher: Elsevier B.V.
DOI identifier: 10.1016/j.tcs.2011.03.019
Sorry, we are unable to provide the full text but you may find it at the