Kiểm chứng tính đúng đắn bằng CafeOBJ

Luận văn thạc sĩ vnu uet 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ĩ VNU UET trình bày phương pháp chứng minh tính đúng đắn cho bài toán xung đột tài nguyên trong hệ đa tác tử.