Context for models of concurrency
代数拓扑
2009-04-27 v1 分布式、并行与集群计算
摘要
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relevant computer-scientific information. That is, one wants to replace a given model with a simpler model with the same directed homotopy-type. Unfortunately, the obvious definition of directed homotopy equivalence is too coarse. This paper introduces the notion of context to refine this definition.
关键词
引用
@article{arxiv.math/0608733,
title = {Context for models of concurrency},
author = {Peter Bubenik},
journal= {arXiv preprint arXiv:math/0608733},
year = {2009}
}
备注
18 pages, to appear in Electronic Notes in Theoretical Computer Science, preliminary version in Proceedings of the Workshop on Geometry and Topology in Concurrency and Distributed Computing, BRICS Notes NS-04-2, pp.33-49