Specification Translation of State Machines from Equational Theories into Rewrite Theories.

Min Zhang, Kazuhiro Ogata, Masaki Nakamura

Browse the full ICFEM paper archive.