@inproceedings{ae4b2ed9c37e42db866f5ea89fa58c73,

title = "A unique decomposition theorem for ordered monoids with applications in process theory",

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 \mathalphae with bounded communication can be expressed as the parallel composition of a multiset of weakly normed parallel prime processes in exactly one way.",

author = "B. Luttik",

year = "2003",

doi = "10.1007/978-3-540-45138-9_50",

language = "English",

isbn = "3-540-40671-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "562--571",

editor = "B. Rovan and P. Vojt{\'a}s",

booktitle = "Mathematical Foundations of Computer Science (Proceedings 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003)",

address = "Germany",

}