Journal paper on decomposing monolithic processes accepted for JLAMP

The journal article “Decomposing monolithic processes in a process algebra with multi-actions” by Maurice Laveaux and Tim A.C. Willemse has been accepted for publication at JLAMP as part of a special issue of ICE. The paper describes a set of semantic requirements to perform a decomposition of a monolithic process for a process algebra with …continue reading