Context for models of concurrency
Algebraic Topology
2009-04-27 v1 Distributed, Parallel, and Cluster Computing
Abstract
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.
Keywords
Cite
@article{arxiv.math/0608733,
title = {Context for models of concurrency},
author = {Peter Bubenik},
journal= {arXiv preprint arXiv:math/0608733},
year = {2009}
}
Comments
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