Hệ thống song song, Hành vi, Mô hình trace, Phép toán đồng bộ, Mạng petri, Mô hình ngữ nghĩa
Tóm tắt
Khảo sát và mở rộng mô hình trace bằng phép toán đồng bộ và khái quát hóa chúng. Đưa ra mô hình ngữ nghĩa không inter leaving mới cho các hệ thống song song mạnh hơn mô hình trace. Khảo sát phương pháp để biểu diễn hành vi của các hệ thống song song được
Bánh xe lăn, phím mũi tên, PgUp, PgDn, Home, End để di chuyển trang. Phím +, ‒ trên bàn phím số để phóng to/thu nhỏ trang.