Nguồn gốc lịch sử của các bản đồ lớn của Milner là gì?

Robin Milner đã định nghĩa các bản đồ lớn là một loại cấu trúc đồ họa với cấu trúc giống như đồ thị nhưng trong đó các nút có thể được lồng vào nhau. Họ khái quát hóa các tính toán quá trình như CCS và -calculus, nhưng Milner dường như đã có ý định sử dụng chúng nhiều hơn: hội thảo lưu ý từ một thời gian ngắn trước khi phát hiện chi tiết về cái chết của ông.$\pi$

Nhìn lại thay vì chuyển tiếp, phần mở đầu của sách giáo khoa Milner's 2009 The Space and Motion of Communicating Agents , không cung cấp nhiều bối cảnh lịch sử. Milner thừa nhận rõ ràng nguồn gốc của nó trong Mobile Ambents và phép tính Pi. Tuy nhiên, mô hình rất chung chung đến nỗi chắc chắn có liên kết mạnh mẽ với các mô hình cũ.

Có tiền thân lịch sử của các bản đồ lớn?

Tập trung vào các yếu tố cú pháp hơn là cách chúng được sử dụng để nắm bắt các hệ thống đang phát triển, một tiền lệ rõ ràng là AB Kempe, Hồi ức về Lý thuyết về hình thức toán học , Giao dịch triết học của Hiệp hội Hoàng gia Luân Đôn 177, 1 Nott70, 1886. Kempe giấy có thể đã giới thiệu đồ thị màu đỉnh và cạnh (tôi không biết gì về cách sử dụng trước đó nhưng sẽ hoan nghênh con trỏ). Kempe dường như cũng có một số loại ứng dụng chung tương tự trong tâm trí mà Milner dự tính. Có những người tiền nhiệm khác cần được đề cập?

(Chỉnh sửa: hiện đánh dấu đây là wiki cộng đồng, với hy vọng thu hút thêm câu trả lời.)

Phần lớn các nền tảng lý thuyết thể loại cho các bản đồ lớn đã được thực hiện theo các Hệ thống Phản ứng:

Leifer, JJ và Milner, R. (2000). Xuất phát đồng quy bisimulation cho các hệ thống phản ứng . Trong Palamidessi, C., biên tập viên, Kỷ yếu Hội thảo quốc tế về lý thuyết đồng thời lần thứ 11 (CONCUR'00), tập 1877 của Ghi chú bài giảng trong Khoa học máy tính , trang 243-258. Springer-Verlag. ( liên kết )

Đây là kết quả cho thấy sự chia đôi là sự đồng nhất với sự có mặt của RPO đủ.

Như bạn đã lưu ý chính xác, chắc chắn có các liên kết với các tính toán môi trường khác nhau - đặc biệt là trong việc nắm bắt khái niệm "địa điểm".

Các hóa chất Tóm tắt máy (Chàm) cũng đã được trích dẫn là quan trọng - có lẽ về mặt ngữ nghĩa của phản ứng cũng như một vài khái niệm khác (chẳng hạn như màng) mà trông quen thuộc khi nhìn từ thế giới bigraphs. Điều này với tôi có lẽ cho thấy dấu hiệu rõ ràng nhất của việc trở thành một tổ tiên về ý thức hệ của các hệ thống phản ứng lớn theo nhiều cách.

Cuối cùng, tôi nghĩ rằng đáng để xem xét chủ đề công việc của Milner từ CCS, đến tính toán pi, đến các hệ thống phản ứng, cho đến các bản đồ lớn. Bạn thấy một xu hướng nhất định trong chuỗi công việc đó, trong phần giới thiệu các tóm tắt bổ sung hoặc khả năng mã hóa rõ ràng một số thông tin có lẽ chỉ bao gồm trong các hình thức mô hình hóa trước đây.

Điều này không có nghĩa là hoàn thành, nhưng tôi nghĩ thật công bằng khi thấy sự phát triển của các bản đồ lớn là một sự tiến bộ tự nhiên từ nhiều, nhiều ý tưởng khác nhau.