Title: Bisimulation equivalence and divergence in C.C.S.