Theo hiểu biết của tôi, có ba đại số quá trình chính đã truyền cảm hứng cho một loạt các nghiên cứu về các mô hình đồng thời chính thức. Đó là:
- CCS và -calculus của Robin Milner
- CSP của Tony Hoare và
- ACP của Jan Bergstra và Jan Willem Klop
Cả ba dường như cho đến ngày nay một hoạt động khá tích cực và một lượng lớn nghiên cứu đã được thực hiện trên chúng.
Điểm tương đồng và khác biệt chính của các phương pháp này là gì? Tại sao nghiên cứu trong quá trình đại số chuyển hướng thay vì hội tụ, theo nghĩa là không có một mô hình phổ quát nào để thống nhất lĩnh vực này?