Decomposing Monolithic Processes using the mCRL2 toolset
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/5091849
下载链接
链接失效反馈官方服务：
资源简介：
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
