Extend FSP to allow for bisimulation check. For example, bisimilar {C1,C2}.
Log in to post a comment.