. xung đột tài nguyên cho các hệ đa tác tử sử dụng chung đa tài nguyên. Tài liệu [2] đã chứng minh được tính đúng đắn của một số thuộc tính bất biến của hệ thống đa tác tử với chỉ một tài nguyên. pháp chứng minh định lý (theorem proving) là rất phù hợp để chứng minh tính đúng đắn của các hệ đa tác tử. Vấn đề cần giải quyết trong luận văn này là chứng minh tính đúng đắn cho bài toán xung. TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THẾ HUY CHỨNG MINH TÍNH ĐÚNG ĐẮN CHO BÀI TOÁN XUNG ĐỘT TÀI NGUYÊN CHO CÁC HỆ ĐA TÁC TỬ LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN