Context for Models of Concurrency
Document Type
Article
Publication Date
3-24-2009
Publication Title
Electronic Notes in Theoretical Computer Science
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.
Repository Citation
Bubenik, P. (2009). Context for Models of Concurrency. Electronic Notes in Theoretical Computer Science, 230, 3-21. doi:10.1016/j.entcs.2009.02.014
Original Citation
Bubenik, P. (2009). Context for Models of Concurrency. Electronic Notes in Theoretical Computer Science, 230, 3-21. doi:10.1016/j.entcs.2009.02.014
DOI
10.1016/j.entcs.2009.02.014
Volume
230
