Context for models of concurrency

Peter Bubenik
DOI: https://doi.org/10.1016/j.entcs.2009.02.014
2006-08-30
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.
Algebraic Topology,Distributed, Parallel, and Cluster Computing
What problem does this paper attempt to address?