Truong, Anh Hoang and Nguyen, Ngoc Khai and Dang, Van Hung and Dang, Duc Hanh (2016) Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. In: 13th International Conference on Theoretical Aspects of Computing (ICTAC).