Context for models of concurrency

Details Context for models of concurrency Context for models of concurrency

2006-08-29

arxiv.org/abs/math/0608733v1

Electron. Notes Theor. Comput. Sci. 230 (2009) 3-21

Mathematics

Algebraic Topology

18 pages, to appear in Electronic Notes in Theoretical Computer Science, preliminary version in Proceedings of the Workshop on

Scientific paper

10.1016/j.entcs.2009.02.014

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.

Affiliated with

Also associated with

No associations

Rating

Context for models of concurrency does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Context for models of concurrency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Context for models of concurrency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-74452