Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963192407> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2963192407 endingPage "268" @default.
- W2963192407 startingPage "252" @default.
- W2963192407 abstract "The state space of a machine admits the structure of time. For example, the geometric realization of a precubical set, a generalization of an unlabeled asyn- chronous transition system, admits a local preorder encoding control ow. In the case where time does not loop, the locally state space splits into causally distinct components. The set of such components often gives a computable invariant of machine behavior. In the general case, no such meaningful partition could exist. However, as we show in this note, the locally preordered geometric realization of a precubical set admits a locally monotone covering from a state space in which time does not loop. Thus we hope to extend geometric techniques in static program analysis to looping processes." @default.
- W2963192407 created "2019-07-30" @default.
- W2963192407 creator A5001676759 @default.
- W2963192407 creator A5031488505 @default.
- W2963192407 creator A5064138175 @default.
- W2963192407 date "2008-12-08" @default.
- W2963192407 modified "2023-09-27" @default.
- W2963192407 title "Covering space theory for directed topology" @default.
- W2963192407 cites W1513061978 @default.
- W2963192407 cites W1973708289 @default.
- W2963192407 cites W2052547749 @default.
- W2963192407 cites W2066029831 @default.
- W2963192407 cites W2100832921 @default.
- W2963192407 cites W2266130724 @default.
- W2963192407 hasPublicationYear "2008" @default.
- W2963192407 type Work @default.
- W2963192407 sameAs 2963192407 @default.
- W2963192407 citedByCount "5" @default.
- W2963192407 countsByYear W29631924072013 @default.
- W2963192407 countsByYear W29631924072014 @default.
- W2963192407 countsByYear W29631924072016 @default.
- W2963192407 countsByYear W29631924072019 @default.
- W2963192407 crossrefType "journal-article" @default.
- W2963192407 hasAuthorship W2963192407A5001676759 @default.
- W2963192407 hasAuthorship W2963192407A5031488505 @default.
- W2963192407 hasAuthorship W2963192407A5064138175 @default.
- W2963192407 hasConcept C105795698 @default.
- W2963192407 hasConcept C114614502 @default.
- W2963192407 hasConcept C118615104 @default.
- W2963192407 hasConcept C134306372 @default.
- W2963192407 hasConcept C164953516 @default.
- W2963192407 hasConcept C177148314 @default.
- W2963192407 hasConcept C184720557 @default.
- W2963192407 hasConcept C190470478 @default.
- W2963192407 hasConcept C2333172 @default.
- W2963192407 hasConcept C2524010 @default.
- W2963192407 hasConcept C2781089630 @default.
- W2963192407 hasConcept C2834757 @default.
- W2963192407 hasConcept C33923547 @default.
- W2963192407 hasConcept C37914503 @default.
- W2963192407 hasConcept C42812 @default.
- W2963192407 hasConcept C72434380 @default.
- W2963192407 hasConceptScore W2963192407C105795698 @default.
- W2963192407 hasConceptScore W2963192407C114614502 @default.
- W2963192407 hasConceptScore W2963192407C118615104 @default.
- W2963192407 hasConceptScore W2963192407C134306372 @default.
- W2963192407 hasConceptScore W2963192407C164953516 @default.
- W2963192407 hasConceptScore W2963192407C177148314 @default.
- W2963192407 hasConceptScore W2963192407C184720557 @default.
- W2963192407 hasConceptScore W2963192407C190470478 @default.
- W2963192407 hasConceptScore W2963192407C2333172 @default.
- W2963192407 hasConceptScore W2963192407C2524010 @default.
- W2963192407 hasConceptScore W2963192407C2781089630 @default.
- W2963192407 hasConceptScore W2963192407C2834757 @default.
- W2963192407 hasConceptScore W2963192407C33923547 @default.
- W2963192407 hasConceptScore W2963192407C37914503 @default.
- W2963192407 hasConceptScore W2963192407C42812 @default.
- W2963192407 hasConceptScore W2963192407C72434380 @default.
- W2963192407 hasLocation W29631924071 @default.
- W2963192407 hasOpenAccess W2963192407 @default.
- W2963192407 hasPrimaryLocation W29631924071 @default.
- W2963192407 hasRelatedWork W1655369790 @default.
- W2963192407 hasRelatedWork W1661432810 @default.
- W2963192407 hasRelatedWork W1970843322 @default.
- W2963192407 hasRelatedWork W1972891968 @default.
- W2963192407 hasRelatedWork W1984712965 @default.
- W2963192407 hasRelatedWork W2019682494 @default.
- W2963192407 hasRelatedWork W2040160512 @default.
- W2963192407 hasRelatedWork W2041464331 @default.
- W2963192407 hasRelatedWork W2068375927 @default.
- W2963192407 hasRelatedWork W2075686528 @default.
- W2963192407 hasRelatedWork W2088083016 @default.
- W2963192407 hasRelatedWork W2114464826 @default.
- W2963192407 hasRelatedWork W2152108148 @default.
- W2963192407 hasRelatedWork W2398239084 @default.
- W2963192407 hasRelatedWork W2606856915 @default.
- W2963192407 hasRelatedWork W2912549800 @default.
- W2963192407 hasRelatedWork W3092266950 @default.
- W2963192407 hasRelatedWork W42442518 @default.
- W2963192407 hasRelatedWork W50589045 @default.
- W2963192407 hasRelatedWork W769867762 @default.
- W2963192407 hasVolume "22" @default.
- W2963192407 isParatext "false" @default.
- W2963192407 isRetracted "false" @default.
- W2963192407 magId "2963192407" @default.
- W2963192407 workType "article" @default.