Context for models of concurrency
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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- August 2006
- DOI:
- 10.48550/arXiv.math/0608733
- arXiv:
- arXiv:math/0608733
- Bibcode:
- 2006math......8733B
- Keywords:
-
- Mathematics - Algebraic Topology;
- Computer Science - Distributed;
- Parallel;
- and Cluster Computing
- E-Print:
- 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