Context for Models of Concurrency | Zendy

Peter Bubenik | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Context for Models of Concurrency

Author(s) -

Peter Bubenik

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.02.014

Subject(s) - concurrency , computer science , equivalence (formal languages) , theoretical computer science , context (archaeology) , homotopy , representation (politics) , programming language , mathematics , discrete mathematics , pure mathematics , paleontology , politics , political science , law , biology

Many categories have been used to model concurrency. Using any of these, thechallenge is to reduce a given model to a smaller representation whichnevertheless preserves the relevant computer-scientific information. That is,one wants to replace a given model with a simpler model with the same directedhomotopy-type. Unfortunately, the obvious definition of directed homotopyequivalence is too coarse. This paper introduces the notion of context torefine this definition.Comment: 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-4

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research