A Study of Bisimulation Theory for Session Types