У чому полягають історичні корені біблій Мілнера?

Робін Мілнер визначав біграфи як тип графічної структури зі структурою, подібною до графіка, але там, де вузли можуть бути вкладені. Вони узагальнюють обчислення процесів, як CCS та -розрахунок, але, схоже, Мілнер мав намір їх використовувати набагато загальніше: семінар зазначає незадовго до смерті детально останні події.$\pi$

Оглядаючись назад, а не вперед, пролог підручника Мілнера 2009 р . Простір та рух комунікаційних агентів не дає великої історичної основи. Мілнер відверто визнав своє коріння в мобільних амбіентах та обчисленні Pi. І все-таки модель настільки загальна, що, можливо, існують міцні зв’язки зі старими моделями.

Чи є історичні попередники біблій?

Зосередження уваги на синтаксичних елементах, а не на тому, як вони використовуються для зйомки розвиваються систем, очевидним прецедентом є А. Б. Кемпе, «Спогад про теорію математичної форми» , «Філософські транзакції Лондонського королівського товариства» 177, 1–70, 1886 р. Кемпе на папері, можливо, були введені вершинні та кольорові кольорові графіки (я не знаю раніше використання, але бажаю вказівники). Також, як видається, Кемпе мав на увазі кілька таких же загальних застосувань, які передбачав Мілнер. Чи є інші попередники, про які слід згадати?

(Редагувати: тепер позначаючи цю вікі спільноти, сподіваючись на отримання додаткових відповідей.)

Значна частина теоретичних основ категорії для бібліографій була виконана з точки зору реактивних систем:

Лейфер, Дж. Дж. Та Мілнер, Р. (2000). Отримання бізімуляційних конгруентів для реактивних систем . У Паламідессі, К., редактор, Матеріали 11-ї Міжнародної конференції з теорії валюти (CONCUR'00), том 1877 р. Лекційних записок з інформатики , стор. 243-258. Спрингер-Верлаг. ( посилання )

Це було результатом, який показав, що бісумуляція є конгруентністю у присутності достатньої кількості RPO.

Як ви правильно зазначали, безумовно, існують зв’язки з різними обчислювальними середовищами, особливо у захопленні поняття "місце".

Chemical Abstract Machine (Cham) також згадується як значна - можливо , з точки зору семантики реакцій, а також кілька інших понять (таких як мембрани) , які виглядають знайомими , якщо дивитися зі світу bigraphs. Це для мене, ймовірно, багато в чому свідчить про найяснішу ознаку бути ідейним родоначальником бібліографічних реактивних систем.

Нарешті, я вважаю, що варто лише ознайомитись з ниткою роботи Мілнера від CCS, пі-числення, реактивних систем, біблій. Ви бачите певну тенденцію в цій галузі роботи, у введенні додаткових абстракцій або у можливості явного кодування певної інформації, яка, можливо, інакше лише неявно була включена до попередніх моделюючих формалізмів.

Це аж ніяк не повно, але я думаю, що безумовно справедливо бачити розвиток бібліографій як природний прогрес багатьох, багатьох різних ідей.