Context for models of concurrency
<|reference_start|>Context for models of concurrency: 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.<|reference_end|>
@article{bubenik2006context,
    title={Context for models of concurrency},
    author={Peter Bubenik},
    journal={Electron. Notes Theor. Comput. Sci. 230 (2009) 3-21},
    year={2006},
    doi={10.1016/j.entcs.2009.02.014},
    archivePrefix={arXiv},
    eprint={math/0608733},
    primaryClass={math.AT cs.DC}
}