Abstract of Paper

A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory
by Bas Luttik

Abstract:

We prove a unique decomposition theorem for a class of ordered
commutative monoids. Then, we use our theorem to establish that
every weakly normed process definable in ACP$^{\varepsilon}$
with bounded communication can be expressed as the parallel
composition of a multi-set of parallel prime processes in
exactly one way.