The free process algebra generated by δ, ϵ and τ

P. Rodenburg, J.W. Klop, K. Koymans, J.L.M. Vrancken

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

We establish the structure of the initial process algebra with additive and multiplicative identity elements and no article silent step. © 2011 Elsevier B.V. All rights reserved.
Original languageUndefined/Unknown
Pages (from-to)3370-3377
JournalTheoretical Computer Science
Volume412
Issue number28
DOIs
Publication statusPublished - 2011

Cite this