eprintid: 1953
rev_number: 6
eprint_status: archive
userid: 289
dir: disk0/00/00/19/53
datestamp: 2016-12-01 03:47:59
lastmod: 2016-12-01 03:47:59
status_changed: 2016-12-01 03:47:59
type: conference_item
metadata_visibility: show
creators_name: Truong, Anh Hoang
creators_name: Dang, Van Hung
creators_name: Dang, Duc Hanh
creators_name: Vu, Xuan Tung
creators_id: hoangta@vnu.edu.vn
creators_id: hanhdd@vnu.edu.vn
title: A Type System for Counting Logs of Multi-threaded Nested Transactional Programs
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2016
date_type: published
publisher: Springer
full_text_status: none
pres_type: paper
series: LNCS
volume: 9581
pagerange: 157-168
event_title: 12th International Conference on Distributed Computing and Internet Technology (ICDCIT)
event_type: conference
refereed: TRUE
citation:   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).