【发布时间】：2015-10-17 10:51:41
【问题描述】：
我有一个用于移动自组织网络的分布式算法。如何从数学的角度表达算法的执行？它是一个元组吗？还是算法执行的一组时间点？
【问题讨论】：
-
让我们从更简单的开始。您将如何对串行算法进行数学建模？
标签： algorithm math distributed-computing execution
【发布时间】：2015-10-17 10:51:41
【问题描述】：
我怀疑是否存在用于执行分布式算法的普遍接受或“一刀切”的模型。以下是探索该问题的一些可能起点（但仅此而已：只是起点）：
- H. J. Boehm，Reordering Constraints for Pthread-Style Locks，2005 年
- 来自维基百科的Temporal logic 页面
关于 instant 对分布式算法意味着什么的问题，您可能需要阅读 L. Lamport，Time, clocks, and ordering of events in a distributed system，1978。
【讨论】：