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.
创建时间：
2022-01-03
