<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Type System for Counting Logs of Multi-threaded Nested Transactional Programs"^^ . "2016" . "9581" . . "Springer"^^ . . . . . . . . . . . . . . . . . "Xuan Tung"^^ . "Vu"^^ . "Xuan Tung Vu"^^ . . "Duc Hanh"^^ . "Dang"^^ . "Duc Hanh Dang"^^ . . "Van Hung"^^ . "Dang"^^ . "Van Hung Dang"^^ . . "Anh Hoang"^^ . "Truong"^^ . "Anh Hoang Truong"^^ . . . . "12th International Conference on Distributed Computing and Internet Technology (ICDCIT)"^^ . . . . . "HTML Summary of #1953 \n\nA Type System for Counting Logs of Multi-threaded Nested Transactional Programs\n\n" . "text/html" . . . "Information Technology (IT)"@en . .