Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135712778> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2135712778 abstract "Geometric models have been used by several authors to describe the behaviour of concurrent sytems in computer science. A concurrent computation corresponds to an oriented path (dipath) in a (locally) partially ordered state space, and dihomotopic dipaths correspond to equivalent computations. This paper studies several invariants of the state space in the spirit of those of algebraic topology, but taking partial orders into account as an important part of the structure. We use several categories of fractions of the fundamental category of the state space and define and investigate the related quotient categories of “components”. For concurrency applications, the resulting categories can be interpreted as a dramatic reduction of the size of the state space to be considered." @default.
- W2135712778 created "2016-06-24" @default.
- W2135712778 creator A5056669830 @default.
- W2135712778 date "2003-01-01" @default.
- W2135712778 modified "2023-09-30" @default.
- W2135712778 title "State spaces and dipaths up to dihomotopy" @default.
- W2135712778 cites W1444210076 @default.
- W2135712778 cites W1510078069 @default.
- W2135712778 cites W1574273173 @default.
- W2135712778 cites W1909838997 @default.
- W2135712778 cites W1984170742 @default.
- W2135712778 cites W2021941041 @default.
- W2135712778 cites W2041066466 @default.
- W2135712778 cites W2041282483 @default.
- W2135712778 cites W2062990109 @default.
- W2135712778 cites W2064785956 @default.
- W2135712778 cites W2078826930 @default.
- W2135712778 cites W2081181483 @default.
- W2135712778 cites W2112751084 @default.
- W2135712778 cites W2120713972 @default.
- W2135712778 cites W2266130724 @default.
- W2135712778 cites W2319725995 @default.
- W2135712778 cites W2494422288 @default.
- W2135712778 cites W3093036 @default.
- W2135712778 doi "https://doi.org/10.4310/hha.2003.v5.n2.a9" @default.
- W2135712778 hasPublicationYear "2003" @default.
- W2135712778 type Work @default.
- W2135712778 sameAs 2135712778 @default.
- W2135712778 citedByCount "14" @default.
- W2135712778 crossrefType "journal-article" @default.
- W2135712778 hasAuthorship W2135712778A5056669830 @default.
- W2135712778 hasBestOaLocation W21357127781 @default.
- W2135712778 hasConcept C105795698 @default.
- W2135712778 hasConcept C111335779 @default.
- W2135712778 hasConcept C111919701 @default.
- W2135712778 hasConcept C11413529 @default.
- W2135712778 hasConcept C114614502 @default.
- W2135712778 hasConcept C134306372 @default.
- W2135712778 hasConcept C136119220 @default.
- W2135712778 hasConcept C182419690 @default.
- W2135712778 hasConcept C184720557 @default.
- W2135712778 hasConcept C193702766 @default.
- W2135712778 hasConcept C199360897 @default.
- W2135712778 hasConcept C199422724 @default.
- W2135712778 hasConcept C202444582 @default.
- W2135712778 hasConcept C2524010 @default.
- W2135712778 hasConcept C2777735758 @default.
- W2135712778 hasConcept C2778572836 @default.
- W2135712778 hasConcept C33923547 @default.
- W2135712778 hasConcept C40753290 @default.
- W2135712778 hasConcept C41008148 @default.
- W2135712778 hasConcept C45374587 @default.
- W2135712778 hasConcept C48103436 @default.
- W2135712778 hasConcept C72434380 @default.
- W2135712778 hasConcept C80444323 @default.
- W2135712778 hasConcept C9376300 @default.
- W2135712778 hasConceptScore W2135712778C105795698 @default.
- W2135712778 hasConceptScore W2135712778C111335779 @default.
- W2135712778 hasConceptScore W2135712778C111919701 @default.
- W2135712778 hasConceptScore W2135712778C11413529 @default.
- W2135712778 hasConceptScore W2135712778C114614502 @default.
- W2135712778 hasConceptScore W2135712778C134306372 @default.
- W2135712778 hasConceptScore W2135712778C136119220 @default.
- W2135712778 hasConceptScore W2135712778C182419690 @default.
- W2135712778 hasConceptScore W2135712778C184720557 @default.
- W2135712778 hasConceptScore W2135712778C193702766 @default.
- W2135712778 hasConceptScore W2135712778C199360897 @default.
- W2135712778 hasConceptScore W2135712778C199422724 @default.
- W2135712778 hasConceptScore W2135712778C202444582 @default.
- W2135712778 hasConceptScore W2135712778C2524010 @default.
- W2135712778 hasConceptScore W2135712778C2777735758 @default.
- W2135712778 hasConceptScore W2135712778C2778572836 @default.
- W2135712778 hasConceptScore W2135712778C33923547 @default.
- W2135712778 hasConceptScore W2135712778C40753290 @default.
- W2135712778 hasConceptScore W2135712778C41008148 @default.
- W2135712778 hasConceptScore W2135712778C45374587 @default.
- W2135712778 hasConceptScore W2135712778C48103436 @default.
- W2135712778 hasConceptScore W2135712778C72434380 @default.
- W2135712778 hasConceptScore W2135712778C80444323 @default.
- W2135712778 hasConceptScore W2135712778C9376300 @default.
- W2135712778 hasLocation W21357127781 @default.
- W2135712778 hasLocation W21357127782 @default.
- W2135712778 hasOpenAccess W2135712778 @default.
- W2135712778 hasPrimaryLocation W21357127781 @default.
- W2135712778 hasRelatedWork W1983692463 @default.
- W2135712778 hasRelatedWork W2036887389 @default.
- W2135712778 hasRelatedWork W2050066389 @default.
- W2135712778 hasRelatedWork W2072384119 @default.
- W2135712778 hasRelatedWork W2133785283 @default.
- W2135712778 hasRelatedWork W2322732466 @default.
- W2135712778 hasRelatedWork W2334017257 @default.
- W2135712778 hasRelatedWork W2335617708 @default.
- W2135712778 hasRelatedWork W2804839859 @default.
- W2135712778 hasRelatedWork W2954273156 @default.
- W2135712778 isParatext "false" @default.
- W2135712778 isRetracted "false" @default.
- W2135712778 magId "2135712778" @default.
- W2135712778 workType "article" @default.