Matches in SemOpenAlex for { <https://semopenalex.org/work/W4302583030> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W4302583030 abstract "The immediate snapshot complexes were introduced as combinatorial models for the protocol complexes in the context of theoretical distributed computing. In the previous work we have developed a formal language of witness structures in order to define and to analyze these complexes. In this paper, we study topology of immediate snapshot complexes. It was known that these complexes are always pure and that they are pseudomanifolds. Here we prove two further independent topological properties. First, we show that immediate snapshot complexes are collapsible. Second, we show that these complexes are homeomorphic to closed balls. Specifically, given any immediate snapshot complex $P(tr)$, we show that there exists a homeomorphism $varphi:da^{|supptr|-1}ra P(tr)$, such that $varphi(sigma)$ is a subcomplex of $P(tr)$, whenever $sigma$ is a simplex in the simplicial complex $da^{|supptr|-1}$." @default.
- W4302583030 created "2022-10-06" @default.
- W4302583030 creator A5026291797 @default.
- W4302583030 date "2014-04-23" @default.
- W4302583030 modified "2023-09-30" @default.
- W4302583030 title "Topology of the immediate snapshot complexes" @default.
- W4302583030 doi "https://doi.org/10.48550/arxiv.1404.5813" @default.
- W4302583030 hasPublicationYear "2014" @default.
- W4302583030 type Work @default.
- W4302583030 citedByCount "0" @default.
- W4302583030 crossrefType "posted-content" @default.
- W4302583030 hasAuthorship W4302583030A5026291797 @default.
- W4302583030 hasBestOaLocation W43025830301 @default.
- W4302583030 hasConcept C10728891 @default.
- W4302583030 hasConcept C111919701 @default.
- W4302583030 hasConcept C114614502 @default.
- W4302583030 hasConcept C118615104 @default.
- W4302583030 hasConcept C121332964 @default.
- W4302583030 hasConcept C184720557 @default.
- W4302583030 hasConcept C187929450 @default.
- W4302583030 hasConcept C2778049214 @default.
- W4302583030 hasConcept C33923547 @default.
- W4302583030 hasConcept C41008148 @default.
- W4302583030 hasConcept C55282118 @default.
- W4302583030 hasConcept C62438384 @default.
- W4302583030 hasConcept C62520636 @default.
- W4302583030 hasConceptScore W4302583030C10728891 @default.
- W4302583030 hasConceptScore W4302583030C111919701 @default.
- W4302583030 hasConceptScore W4302583030C114614502 @default.
- W4302583030 hasConceptScore W4302583030C118615104 @default.
- W4302583030 hasConceptScore W4302583030C121332964 @default.
- W4302583030 hasConceptScore W4302583030C184720557 @default.
- W4302583030 hasConceptScore W4302583030C187929450 @default.
- W4302583030 hasConceptScore W4302583030C2778049214 @default.
- W4302583030 hasConceptScore W4302583030C33923547 @default.
- W4302583030 hasConceptScore W4302583030C41008148 @default.
- W4302583030 hasConceptScore W4302583030C55282118 @default.
- W4302583030 hasConceptScore W4302583030C62438384 @default.
- W4302583030 hasConceptScore W4302583030C62520636 @default.
- W4302583030 hasLocation W43025830301 @default.
- W4302583030 hasLocation W43025830302 @default.
- W4302583030 hasLocation W43025830303 @default.
- W4302583030 hasOpenAccess W4302583030 @default.
- W4302583030 hasPrimaryLocation W43025830301 @default.
- W4302583030 hasRelatedWork W1728981212 @default.
- W4302583030 hasRelatedWork W1964199832 @default.
- W4302583030 hasRelatedWork W2015870852 @default.
- W4302583030 hasRelatedWork W2150224820 @default.
- W4302583030 hasRelatedWork W2949826333 @default.
- W4302583030 hasRelatedWork W2950120006 @default.
- W4302583030 hasRelatedWork W2952864450 @default.
- W4302583030 hasRelatedWork W4298178051 @default.
- W4302583030 hasRelatedWork W4300664411 @default.
- W4302583030 hasRelatedWork W4302583030 @default.
- W4302583030 isParatext "false" @default.
- W4302583030 isRetracted "false" @default.
- W4302583030 workType "article" @default.