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 Display counter: Abstract : 137 views. PDF (Tiếng Việt) : 99 views. PDF () : 15 views.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology