无限并发运行的均匀生成：以迹幺半群为例
组合数学
2017-12-07 v1
摘要
我们引入了一种在偏序概率语义下并发系统中无限运行均匀生成的算法。我们以迹幺半群作为并发模型。该算法在线输出理论无限运行的逼近，后者服从精确的均匀概率测度。逼近的平均规模随算法执行时间线性增长。在已完成一些（代价高昂的）预计算的前提下，算法的执行仅涉及分布式计算。
引用
@article{arxiv.1712.02120,
title = {Uniform generation of infinite concurrent runs: the case of trace monoids},
author = {Samy Abbes and Vincent Jugé},
journal= {arXiv preprint arXiv:1712.02120},
year = {2017}
}
备注
19 pages, 2 figures