Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565432667> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1565432667 abstract "We present an algebraic approach to the model checking of fault-tolerant systems. Fault models and fault-handling mechanisms are modelled using special-purpose process operators. Besides providing for natural models, special-purpose operators allow systems with large state spaces to be verified using systems with small state spaces. To support this verification technique we show that a kind of simulation relation on processes preserves all process operators in tyft/tyxt format." @default.
- W1565432667 created "2016-06-24" @default.
- W1565432667 creator A5000706811 @default.
- W1565432667 creator A5024448854 @default.
- W1565432667 date "1997-01-01" @default.
- W1565432667 modified "2023-09-25" @default.
- W1565432667 title "Model checking and fault tolerance" @default.
- W1565432667 cites W1507985299 @default.
- W1565432667 cites W1593276140 @default.
- W1565432667 cites W1966112122 @default.
- W1565432667 cites W1984478483 @default.
- W1565432667 cites W1999706742 @default.
- W1565432667 cites W2015640848 @default.
- W1565432667 cites W2033579026 @default.
- W1565432667 cites W2046213250 @default.
- W1565432667 cites W2152465173 @default.
- W1565432667 doi "https://doi.org/10.1007/bfb0000462" @default.
- W1565432667 hasPublicationYear "1997" @default.
- W1565432667 type Work @default.
- W1565432667 sameAs 1565432667 @default.
- W1565432667 citedByCount "19" @default.
- W1565432667 countsByYear W15654326672012 @default.
- W1565432667 countsByYear W15654326672014 @default.
- W1565432667 countsByYear W15654326672015 @default.
- W1565432667 countsByYear W15654326672019 @default.
- W1565432667 crossrefType "book-chapter" @default.
- W1565432667 hasAuthorship W1565432667A5000706811 @default.
- W1565432667 hasAuthorship W1565432667A5024448854 @default.
- W1565432667 hasConcept C110251889 @default.
- W1565432667 hasConcept C119599485 @default.
- W1565432667 hasConcept C120314980 @default.
- W1565432667 hasConcept C124101348 @default.
- W1565432667 hasConcept C127313418 @default.
- W1565432667 hasConcept C127413603 @default.
- W1565432667 hasConcept C134146338 @default.
- W1565432667 hasConcept C161771561 @default.
- W1565432667 hasConcept C165205528 @default.
- W1565432667 hasConcept C167391956 @default.
- W1565432667 hasConcept C175551986 @default.
- W1565432667 hasConcept C199360897 @default.
- W1565432667 hasConcept C25343380 @default.
- W1565432667 hasConcept C41008148 @default.
- W1565432667 hasConcept C48103436 @default.
- W1565432667 hasConcept C50712370 @default.
- W1565432667 hasConcept C63540848 @default.
- W1565432667 hasConcept C80444323 @default.
- W1565432667 hasConcept C98045186 @default.
- W1565432667 hasConceptScore W1565432667C110251889 @default.
- W1565432667 hasConceptScore W1565432667C119599485 @default.
- W1565432667 hasConceptScore W1565432667C120314980 @default.
- W1565432667 hasConceptScore W1565432667C124101348 @default.
- W1565432667 hasConceptScore W1565432667C127313418 @default.
- W1565432667 hasConceptScore W1565432667C127413603 @default.
- W1565432667 hasConceptScore W1565432667C134146338 @default.
- W1565432667 hasConceptScore W1565432667C161771561 @default.
- W1565432667 hasConceptScore W1565432667C165205528 @default.
- W1565432667 hasConceptScore W1565432667C167391956 @default.
- W1565432667 hasConceptScore W1565432667C175551986 @default.
- W1565432667 hasConceptScore W1565432667C199360897 @default.
- W1565432667 hasConceptScore W1565432667C25343380 @default.
- W1565432667 hasConceptScore W1565432667C41008148 @default.
- W1565432667 hasConceptScore W1565432667C48103436 @default.
- W1565432667 hasConceptScore W1565432667C50712370 @default.
- W1565432667 hasConceptScore W1565432667C63540848 @default.
- W1565432667 hasConceptScore W1565432667C80444323 @default.
- W1565432667 hasConceptScore W1565432667C98045186 @default.
- W1565432667 hasLocation W15654326671 @default.
- W1565432667 hasOpenAccess W1565432667 @default.
- W1565432667 hasPrimaryLocation W15654326671 @default.
- W1565432667 hasRelatedWork W101497066 @default.
- W1565432667 hasRelatedWork W1503973138 @default.
- W1565432667 hasRelatedWork W1564798309 @default.
- W1565432667 hasRelatedWork W1731145829 @default.
- W1565432667 hasRelatedWork W1802815921 @default.
- W1565432667 hasRelatedWork W1857503509 @default.
- W1565432667 hasRelatedWork W1973954352 @default.
- W1565432667 hasRelatedWork W2020263005 @default.
- W1565432667 hasRelatedWork W2055856629 @default.
- W1565432667 hasRelatedWork W2081756744 @default.
- W1565432667 hasRelatedWork W2084608278 @default.
- W1565432667 hasRelatedWork W2115309705 @default.
- W1565432667 hasRelatedWork W2137313863 @default.
- W1565432667 hasRelatedWork W2202174127 @default.
- W1565432667 hasRelatedWork W2352964586 @default.
- W1565432667 hasRelatedWork W2913459036 @default.
- W1565432667 hasRelatedWork W2995977549 @default.
- W1565432667 hasRelatedWork W3131940921 @default.
- W1565432667 hasRelatedWork W3193496819 @default.
- W1565432667 hasRelatedWork W92219756 @default.
- W1565432667 isParatext "false" @default.
- W1565432667 isRetracted "false" @default.
- W1565432667 magId "1565432667" @default.
- W1565432667 workType "book-chapter" @default.