Context for models of concurrency
| dc.creator | Bubenik, Peter | |
| dc.date | 2006-08-29 | |
| dc.date.accessioned | 2026-07-07T13:08:33Z | |
| dc.date.available | 2026-07-07T13:08:33Z | |
| dc.description | 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. | |
| dc.description | 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 NS-04-2, pp.33-49 | |
| dc.identifier | https://arxiv.org/abs/math/0608733 | |
| dc.identifier | http://arxiv.org/abs/math/0608733 | |
| dc.identifier | Electron. Notes Theor. Comput. Sci. 230 (2009) 3-21 | |
| dc.identifier | doi:10.1016/j.entcs.2009.02.014 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/228451 | |
| dc.subject | Algebraic Topology | |
| dc.subject | Distributed, Parallel, and Cluster Computing | |
| dc.title | Context for models of concurrency | |
| dc.type | text |