You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the paper An incremental bisimulation algorithm there's an other algorithm for the incremental computation of maximum bisimulation, namely the one for Single Edge Deletion (page 9 of 13). It should be straightforward to implement.
In the paper An incremental bisimulation algorithm there's an other algorithm for the incremental computation of maximum bisimulation, namely the one for Single Edge Deletion (page 9 of 13). It should be straightforward to implement.