Titlebook: Histories of the Devil; From Marlowe to Mann Jeremy Tambling Book 2016 The Editor(s) (if applicable) and The Author(s) 2016 Diabolical.Witc

意外

抵制

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.