The free process algebra generated by δ, ε and τ

Authors	P.H. Rodenburg J.W. Klop K. Koymans J. Vrancken
Publication date	2011
Journal	Theoretical Computer Science
Volume | Issue number	412 | 28
Pages (from-to)	3370-3377
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Abstract	We establish the structure of the initial process algebra with additive and multiplicative identity elements and no article silent step.
Document type	Article
Language	English
Published at	https://doi.org/10.1016/j.tcs.2011.03.019
Permalink to this page