Ngữ nghĩa CSP cho các mạch tuần tự không đồng bộ

Bài viết sử dụng công cụ đại số “Các tiến trình tuần tự tương tác CSP”– Communicating Sequential Processes của C.A.R. Hoare để xây dựng các chương trình tuần tự không đồng bộ mô phỏng các mạch tuần tự không đồng bộ và đưa ra phương pháp mô phỏng dựa trên các luật của đại số CSP và các luật logic để chứng minh các tính chất của một số chương trình tuần tự không đồng bộ.

... ba chương trình tuần tự, ngữ nghĩa CSP mạch công thức (10) KẾT LUẬN Như việc dùng đại số tiến trình tương tác CSP mô mạch không đồng bộ, chúng ta xác định ngữ nghĩa đại số CSP mạch chứng tỏ tiếp... mô mạch không đồng đại số CSP sau: Các ngun tắc mơ phỏng: • Mỗi đường từ mạch quay lui ký hiệu chương trình Một số mạch có chung đầu vào khép kín mạch quay lui tạo nên mạch khơng đồng sở • Mạch. .. từ P cách che giấu kiện C ký hiệu PC với (PC)= (P)C Các dãy kiện PC nhận từ dãy kiện P bỏ kiện C SỬ DỤNG CSP MÔ PHỎNG CÁC MẠCH TUẦN TỰ KHÔNG ĐỒNG BỘ Trước hết chúng ta thử tìm cách dùng