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).