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

Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu

Browse the full ICDCIT paper archive.