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}
}
  • Peter Bubenik
  • Published in
    Electron. Notes Theor. Comput…
    2009
  • Computer Science, Mathematics
  • 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

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 13 REFERENCES

    Directed homotopy theory, I

    VIEW 1 EXCERPT

    Directed homotopy theory. I, Cah

    • M. Grandis
    • Topol. Géom. Différ. Catég
    • 2003
    VIEW 3 EXCERPTS

    Worytkiewicz, A model category structure for local po-spaces

    • P. Bubenik
    • 2005
    VIEW 2 EXCERPTS