并发系统的拓扑结构
形式语言与自动机理论
2024-04-26 v1 计算机科学中的逻辑
代数拓扑
摘要
高维自动机，即指向标记的预立方集，是并发系统的强大组合-拓扑模型。本文中，我们证明了对于每个（非空）连通多面体，都存在一个共享变量系统，其建模该系统状态空间的高维自动机具有该多面体的同伦类型。
引用
@article{arxiv.2404.16492,
title = {On the topology of concurrent systems},
author = {Catarina Faustino and Thomas Kahl and Rodrigo Lopes},
journal= {arXiv preprint arXiv:2404.16492},
year = {2024}
}
备注
24 pages