2000 character limit reached
Distribution-based bisimulation for labelled Markov processes (1706.10049v1)
Published 30 Jun 2017 in cs.LO and cs.FL
Abstract: In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.