意外
发表于 2025-3-28 18:30:51
http://reply.papertrans.cn/43/4275/427445/427445_41.png
抵制
发表于 2025-3-28 18:59:22
thm designed for HD-automata is easily adapted to handle Fusion calculus processes. Hence, the transition systems of Fusion calculus processes can be minimised according to the notion of observational semantics of the calculus. As a beneficial side effect, this also provides a bisimulation checker for Fusion calculus.