# Context for Models of Concurrency

@article{Bubenik2009ContextFM, title={Context for Models of Concurrency}, author={Peter Bubenik}, journal={Electron. Notes Theor. Comput. Sci.}, year={2009}, volume={230}, pages={3-21} }

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.

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

#### Citations

##### Publications citing this paper.

SHOWING 1-5 OF 5 CITATIONS

## A Fibration Category of Local Pospaces

VIEW 1 EXCERPT

CITES BACKGROUND

## Research Statement Statistical Topological Data Analysis

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 13 REFERENCES

## DICOVERING SPACES

VIEW 1 EXCERPT

## Directed homotopy theory, I

VIEW 1 EXCERPT

## Directed homotopy theory. I, Cah

VIEW 3 EXCERPTS

## Model categories and their localizations

VIEW 1 EXCERPT

## Worytkiewicz, A model category structure for local po-spaces

VIEW 2 EXCERPTS

## STATE SPACES AND DIPATHS UP TO DIHOMOTOPY

VIEW 1 EXCERPT