自组装作为图语法作为分布式系统
分布式、并行与集群计算
2011-07-21 v3 神经与进化计算
摘要
2004年，Klavins等人引入了使用图语法来描述——以及编程——自组装系统。事实证明，这些图语法是二十多年前Degano和Montanari提出的分布式系统图重写刻画的一个“对偶概念”。通过应用从这一观察中获得的技术，我们证明了Soloveichik和Winfree关于局部确定性定理的一个推广版本，并且我们还提出了一种规范方法，用自组装系统来模拟异步恒定大小消息传递模型的分布式计算。
引用
@article{arxiv.0902.2420,
title = {Self-Assembly as Graph Grammar as Distributed System},
author = {Aaron Sterling},
journal= {arXiv preprint arXiv:0902.2420},
year = {2011}
}
备注
Withdrawn as I would like to polish it before making it public again. A two-page announcement of these results will appear in the proceedings of PODC 2009