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 computerscientific information. That is, one wants to replace a given model with a simpler model with the same directed homotopytype. 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 eprints
 Pub Date:
 August 2006
 arXiv:
 arXiv:math/0608733
 Bibcode:
 2006math......8733B
 Keywords:

 Mathematics  Algebraic Topology;
 Computer Science  Distributed;
 Parallel;
 and Cluster Computing
 EPrint:
 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 NS042, pp.3349