The Tyft/Tyxt Format Reduces to Tree Rules

  title={The Tyft/Tyxt Format Reduces to Tree Rules},
  author={Wan Fokkink},
REPORTRAPPORT The tyft/tyxt format reduces to tree rules Abstract. Groote and Vaandrager 5] introduced the tyft/tyxt format for transition system speciications (TSSs), and established that for each TSS in this format that is well-founded, the strong bisimulation it induces is a congruence. In this paper, we construct for each TSS in tyft/tyxt format an equivalent TSS that consists of tree rules only. As a corollary we can give an aarmative answer to an open question, namely whether the well… CONTINUE READING