%A Anh Hoang Truong
%A Ngoc Khai Nguyen
%T Hệ thống kiểu để tính biên tài nguyên của các chương trình giao dịch lồng nhau và đa luồng
%C Hanoi, Vietnam
%D 2015
%L SisLab1740