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 : 57 views. PDF (Tiếng Việt) : 41 views. PDF () : 5 views.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology