Truong, Anh Hoang and Dang, Van Hung and Dang, Duc Hanh and Vu, Xuan Tung (2016) A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. In: 12th International Conference on Distributed Computing and Internet Technology (ICDCIT).