Behavioral Theory for Session-Oriented Calculi