@inproceedings{SisLab1741,
       booktitle = {PAS: the 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation},
           title = {An Improved Type System for Counting Logs of Transactional Multi-threaded Programs},
          author = {Xuan Tung Vu and Truong Hoang},
            year = {2015},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1741/},
        abstract = {This paper presents an improved type system to estimate an
upper bound for the resource consumption of programs with nested and multi-threaded transactions. This work improves our previous type system to which in comparison the new one is more precise. In addition, the soundness of the system is sketched by the help of rewriting techniques.}
}