relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1953/
title: A Type System for Counting Logs of Multi-threaded Nested Transactional Programs
creator: Truong, Anh Hoang
creator: Dang, Van Hung
creator: Dang, Duc Hanh
creator: Vu, Xuan Tung
subject: Information Technology (IT)
publisher: Springer
date: 2016
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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).