Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.06.337
Abstract: In this paper, an alternative equivalence based definition of bisimulation is proposed, called visible bisimulation equivalence. It includes both state and transition labels and therefore unifies stuttering and branching bisimulation. Furthermore, it is equivalent to… read more here.
Keywords: opacity; abstraction; visible bisimulation; bisimulation ... See more keywords