机译:Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support*
The authors are with Japan Advanced Institute of Science and Technology (JAIST), Nomi-shi, 923-1292 Japan;
The author is with Kanazawa University, Kanazawa-shi, 920-1192 Japan;
specification translation; cafeOBJ; maude; equational theory specification; rewrite theory specification;