We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This relation is obtained by De Nicola & Vaandrager by translating labelled transition systems to Kripke structures. while lifting the totality restriction on the latter. They characterised it as divergence sensit... https://www.popularfilm.blog/