Equivalences and Preorders of Transition Systems

@inproceedings{Arnold1993EquivalencesAP,
  title={Equivalences and Preorders of Transition Systems},
  author={Andr{\'e} Arnold and Anne Dicky},
  booktitle={MFCS},
  year={1993}
}