米尔纳传记的历史渊源是什么？

罗宾·米尔纳（Robin Milner）将Bigraph定义为一种具有图式结构但可以嵌套节点的图形结构。他们概括了像CCS和演算这样的过程计算，但米尔纳似乎打算让它们更广泛地使用：研讨会记录了他去世前不久的事态发展。$\pi$

回顾而不是向前看，米尔纳（Milner）在2009年教科书 《传播媒介的空间与运动》的序幕没有提供太多的历史背景。米尔纳明确承认其起源于移动环境和Pi演算。然而，该模型是如此笼统，以至于与旧模型之间必然存在牢固的联系。

历史上有传记的前身吗？

着眼于句法元素而不是它们被用来捕捉不断发展的系统的方式，一个明显的先例是AB Kempe，《数学形式理论的回忆录》，伦敦皇家学会的哲学著作177，1–70，1886年。论文可能引入了顶点和边彩色图（我不知道以前的用法，但欢迎使用指针）。肯普似乎也想到了米尔纳所设想的某些相同类型的一般应用程序。还有其他应提及的前辈吗？

（编辑：现在将其标记为社区Wiki，以期吸引更多的答案。）

两联书的大部分类别理论基础都是根据反应式系统完成的：

Leifer，JJ和Milner，R。（2000）。推导反应系统的双仿真同余。在帕拉米西，第11届并发理论国际会议论文集（CONCUR'00），计算机科学讲义第1877卷，第243-258页。施普林格出版社。（链接）

结果表明，在有足够的RPO的情况下，双仿真是一致的。

如您所正确指出的，肯定存在着与各种环境计算有关的链接，尤其是在捕捉“位置”概念时。

该化学文摘机（湛）也被列为显著-可能是在反应从bigraphs世界观看时看起来很熟悉的语义以及其他一些概念（如膜）的条款。在我看来，这可能是在许多方面成为传记式反应系统的意识形态祖先的最明显迹象。

最后，我认为值得研究一下米尔纳的工作，从CCS到pi演算，再到反应系统，再到传记。通过引入其他抽象或显式编码某些信息的能力，您可以看到该工作链中的明确趋势。

这绝不是完整的，但是我认为将传记的发展看作是来自许多不同思想的自然发展绝对是公平的。