VNU-UET Repository

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs

Anh Hoang Truong and Van Hung Dang and Duc Hanh Dang and Xuan Tung Vu (2016) A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. In: 12th International Conference on Distributed Computing and Internet Technology (ICDCIT).

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Information Technology (IT)
Divisions:Faculty of Information Technology (FIT)
ID Code:1953
Deposited By: Duc-Hanh Dang
Deposited On:01 Dec 2016 03:47
Last Modified:01 Dec 2016 03:47

Repository Staff Only: item control page