relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1954/
title: Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs
creator: Truong, Anh Hoang
creator: Nguyen, Ngoc Khai
creator: Dang, Van Hung
creator: Dang, Duc Hanh
subject: Information Technology (IT)
publisher: Springer
date: 2016
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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).