Algorithms for Computing Weak Bisimulation Equivalence | IEEE Conference Publication | IEEE Xplore