Bisimulation-up-to enhances the bisimulation proof method for process equivalence. We present its generalization from labelled transition systems to arbitrary coalgebras, and show that for a large class of systems, enhancements such as bisimulation up to bisimilarity, up to equivalence and up to context are sound proof techniques. This allows for simplified bisimulation proofs for many different types of state-based systems.
展开▼
机译:Bisimulation-Up-up up upsipulation验证方法进行工艺等价。我们将标记的过渡系统概括为任意基于基础地板,并表明对于大类系统,诸如BISimulation的增强功能,直率,直到等价和上下文是静止的技术。这允许为许多不同类型的基于状态系统进行简化的双刺激证据。
展开▼