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.

• Type: Journal
• Year: 2006
• Where: CORR
• Authors: Peter Bubenik
• Keywords: CORR 2006, Education, Many Categories, Model, Relevant Computer-scientific Information