Matches in SemOpenAlex for { <https://semopenalex.org/work/W2617208574> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2617208574 abstract "We show how to view computations involving very general liveness properties as limits of finite approximations. This computational model does not require introduction of infinite nondeterminism as with most traditional approaches. Our results allow us directly to relate finite computations in order to infer properties about infinite computations. Thus we are able to provide a mathematical understanding of what simulations and bisimulations are when liveness is involved." @default.
- W2617208574 created "2017-06-05" @default.
- W2617208574 creator A5083488023 @default.
- W2617208574 date "1994-01-01" @default.
- W2617208574 modified "2023-09-26" @default.
- W2617208574 title "The Limit View of Infinite Computations" @default.
- W2617208574 cites W1503889025 @default.
- W2617208574 cites W1984478483 @default.
- W2617208574 cites W1986033227 @default.
- W2617208574 cites W2022228153 @default.
- W2617208574 cites W2039025680 @default.
- W2617208574 cites W2045165287 @default.
- W2617208574 cites W2058630223 @default.
- W2617208574 cites W2059073369 @default.
- W2617208574 cites W2085533703 @default.
- W2617208574 cites W2124788813 @default.
- W2617208574 cites W2132107743 @default.
- W2617208574 cites W2149325295 @default.
- W2617208574 cites W4248784701 @default.
- W2617208574 doi "https://doi.org/10.1007/978-3-540-48654-1_27" @default.
- W2617208574 hasPublicationYear "1994" @default.
- W2617208574 type Work @default.
- W2617208574 sameAs 2617208574 @default.
- W2617208574 citedByCount "2" @default.
- W2617208574 countsByYear W26172085742017 @default.
- W2617208574 crossrefType "book-chapter" @default.
- W2617208574 hasAuthorship W2617208574A5083488023 @default.
- W2617208574 hasConcept C11413529 @default.
- W2617208574 hasConcept C134306372 @default.
- W2617208574 hasConcept C136119220 @default.
- W2617208574 hasConcept C151201525 @default.
- W2617208574 hasConcept C15569618 @default.
- W2617208574 hasConcept C202444582 @default.
- W2617208574 hasConcept C33923547 @default.
- W2617208574 hasConcept C41008148 @default.
- W2617208574 hasConcept C45374587 @default.
- W2617208574 hasConcept C80444323 @default.
- W2617208574 hasConceptScore W2617208574C11413529 @default.
- W2617208574 hasConceptScore W2617208574C134306372 @default.
- W2617208574 hasConceptScore W2617208574C136119220 @default.
- W2617208574 hasConceptScore W2617208574C151201525 @default.
- W2617208574 hasConceptScore W2617208574C15569618 @default.
- W2617208574 hasConceptScore W2617208574C202444582 @default.
- W2617208574 hasConceptScore W2617208574C33923547 @default.
- W2617208574 hasConceptScore W2617208574C41008148 @default.
- W2617208574 hasConceptScore W2617208574C45374587 @default.
- W2617208574 hasConceptScore W2617208574C80444323 @default.
- W2617208574 hasLocation W26172085741 @default.
- W2617208574 hasOpenAccess W2617208574 @default.
- W2617208574 hasPrimaryLocation W26172085741 @default.
- W2617208574 hasRelatedWork W10829287 @default.
- W2617208574 hasRelatedWork W1582650300 @default.
- W2617208574 hasRelatedWork W2042179805 @default.
- W2617208574 hasRelatedWork W2096823429 @default.
- W2617208574 hasRelatedWork W2143511054 @default.
- W2617208574 hasRelatedWork W2151358395 @default.
- W2617208574 hasRelatedWork W2302618397 @default.
- W2617208574 hasRelatedWork W2340730214 @default.
- W2617208574 hasRelatedWork W2473773737 @default.
- W2617208574 hasRelatedWork W2766655830 @default.
- W2617208574 hasRelatedWork W2769660485 @default.
- W2617208574 hasRelatedWork W2777392906 @default.
- W2617208574 hasRelatedWork W2783558261 @default.
- W2617208574 hasRelatedWork W2798355532 @default.
- W2617208574 hasRelatedWork W2887638297 @default.
- W2617208574 hasRelatedWork W3006610908 @default.
- W2617208574 hasRelatedWork W3012235450 @default.
- W2617208574 hasRelatedWork W3125387218 @default.
- W2617208574 hasRelatedWork W3127496061 @default.
- W2617208574 hasRelatedWork W3158618349 @default.
- W2617208574 isParatext "false" @default.
- W2617208574 isRetracted "false" @default.
- W2617208574 magId "2617208574" @default.
- W2617208574 workType "book-chapter" @default.