The free process algebra generated by δ, ϵ and τ

Piet Rodenburg, Jan Willem Klop, Karst Koymans, Jos L. M. Vrancken. The free process algebra generated by δ, ϵ and τ. Theoretical Computer Science, 412(28):3370-3377, 2011. [doi]

Abstract

Abstract is missing.