TY  - CONF
ID  - SisLab1953
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1953/
A1  - Truong, Anh Hoang
A1  - Dang, Van Hung
A1  - Dang, Duc Hanh
A1  - Vu, Xuan Tung
Y1  - 2016///
PB  - Springer
T3  - LNCS
VL  - 9581
TI  - A Type System for Counting Logs of Multi-threaded Nested Transactional Programs
SP  - 157
AV  - none
EP  - 168
T2  - 12th International Conference on Distributed Computing and Internet Technology (ICDCIT)
ER  -