TY - RPRT TI - Decomposing Monolithic Processes in a Process Algebra with Multi-actions AU - Maurice Laveaux AU - Tim A. C. Willemse PY - 2021 DO - 10.4204/eptcs.347.4 UR - https://arxiv.org/abs/2110.00147 ID - 2110.00147 ER -