Algorithms for finding the normal form of traces and synchronous traces.

Hoàng Chí Thành

Abstract


-



Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology