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

Hoàng Chí Thành

Abstract


-



DOI: https://doi.org/10.15625/1813-9663/17/1/2432

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology