Decomposing Monolithic Processes using the mCRL2 toolset

A set of experiments consisting of mCRL2 specifications that can be decomposed into two (or more) 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.本数据集包含一系列实验，其实验对象为mCRL2规格说明（mCRL2 specifications）。可借助mCRL2工具集（mCRL2 toolset）中的lpscleave工具（lpscleave tool），将这些规格说明分解为两个或更多单体进程。相较于直接探索原始规格说明，通过组合分解得到的单体进程，能够更高效地获取原始规格说明的状态空间。该技术的详细阐述见于"Decomposing Monolithic Processes in a Process Algebra with Multi-actions"一文。