@inproceedings{SisLab1953,
          volume = {9581},
          author = {Anh Hoang Truong and Van Hung Dang and Duc Hanh Dang and Xuan Tung Vu},
          series = {LNCS},
       booktitle = {12th International Conference on Distributed Computing and Internet Technology (ICDCIT)},
           title = {A Type System for Counting Logs of Multi-threaded Nested Transactional Programs},
       publisher = {Springer},
           pages = {157--168},
            year = {2016},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1953/}
}