%0 Conference Paper
%A Truong, Anh Hoang
%A Dang, Van Hung
%A Dang, Duc Hanh
%A Vu, Xuan Tung
%B 12th International Conference on Distributed Computing and Internet Technology (ICDCIT)
%D 2016
%F SisLab:1953
%I Springer
%P 157-168
%T A Type System for Counting Logs of Multi-threaded Nested Transactional Programs
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1953/
%V 9581