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 : 116 views. PDF (Tiếng Việt) : 88 views. PDF () : 10 views.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology