Decomposing Monolithic Processes using the mCRL2 toolset



A set of experiments consisting of mCRL2 specifications that can be decomposed into two monolithic processes using the lpscleave tool of the mCRL2 toolset. The resulting monolithic processes can be subsequently composed to obtain the state space of the original specification more efficiently than by exploring the original specification itself. The technique is described in detail in the "Decomposing Monolithic Processes in a Process Algebra with Multi-actions" paper.
Date made available12 Jul 2021

Cite this