Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531503887> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1531503887 endingPage "141" @default.
- W1531503887 startingPage "126" @default.
- W1531503887 abstract "Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same “AGEF” properties: temporal logic properties saying that reaching a desired outcome is not doomed to fail. We show that this equivalence, with an added root condition, is the coarsest congruence containing weak bisimilarity with explicit divergence that respects deadlock/livelock traces (or fair testing, or any liveness property under a global fairness assumption) and assigns unique solutions to recursive equations." @default.
- W1531503887 created "2016-06-24" @default.
- W1531503887 creator A5034830417 @default.
- W1531503887 creator A5048229897 @default.
- W1531503887 date "2006-01-01" @default.
- W1531503887 modified "2023-09-24" @default.
- W1531503887 title "Liveness, Fairness and Impossible Futures" @default.
- W1531503887 cites W1553245026 @default.
- W1531503887 cites W1590315663 @default.
- W1531503887 cites W1604453972 @default.
- W1531503887 cites W1966112122 @default.
- W1531503887 cites W2098981343 @default.
- W1531503887 cites W2102097307 @default.
- W1531503887 cites W2106934908 @default.
- W1531503887 cites W2107144615 @default.
- W1531503887 cites W2148973802 @default.
- W1531503887 cites W2911862439 @default.
- W1531503887 cites W4240126131 @default.
- W1531503887 doi "https://doi.org/10.1007/11817949_9" @default.
- W1531503887 hasPublicationYear "2006" @default.
- W1531503887 type Work @default.
- W1531503887 sameAs 1531503887 @default.
- W1531503887 citedByCount "6" @default.
- W1531503887 countsByYear W15315038872016 @default.
- W1531503887 countsByYear W15315038872019 @default.
- W1531503887 crossrefType "book-chapter" @default.
- W1531503887 hasAuthorship W1531503887A5034830417 @default.
- W1531503887 hasAuthorship W1531503887A5048229897 @default.
- W1531503887 hasBestOaLocation W15315038872 @default.
- W1531503887 hasConcept C104247578 @default.
- W1531503887 hasConcept C106159729 @default.
- W1531503887 hasConcept C106306483 @default.
- W1531503887 hasConcept C114614502 @default.
- W1531503887 hasConcept C118615104 @default.
- W1531503887 hasConcept C120314980 @default.
- W1531503887 hasConcept C132074034 @default.
- W1531503887 hasConcept C15569618 @default.
- W1531503887 hasConcept C159023740 @default.
- W1531503887 hasConcept C162324750 @default.
- W1531503887 hasConcept C2524010 @default.
- W1531503887 hasConcept C2780069185 @default.
- W1531503887 hasConcept C33923547 @default.
- W1531503887 hasConcept C41008148 @default.
- W1531503887 hasConcept C80444323 @default.
- W1531503887 hasConceptScore W1531503887C104247578 @default.
- W1531503887 hasConceptScore W1531503887C106159729 @default.
- W1531503887 hasConceptScore W1531503887C106306483 @default.
- W1531503887 hasConceptScore W1531503887C114614502 @default.
- W1531503887 hasConceptScore W1531503887C118615104 @default.
- W1531503887 hasConceptScore W1531503887C120314980 @default.
- W1531503887 hasConceptScore W1531503887C132074034 @default.
- W1531503887 hasConceptScore W1531503887C15569618 @default.
- W1531503887 hasConceptScore W1531503887C159023740 @default.
- W1531503887 hasConceptScore W1531503887C162324750 @default.
- W1531503887 hasConceptScore W1531503887C2524010 @default.
- W1531503887 hasConceptScore W1531503887C2780069185 @default.
- W1531503887 hasConceptScore W1531503887C33923547 @default.
- W1531503887 hasConceptScore W1531503887C41008148 @default.
- W1531503887 hasConceptScore W1531503887C80444323 @default.
- W1531503887 hasLocation W15315038871 @default.
- W1531503887 hasLocation W15315038872 @default.
- W1531503887 hasOpenAccess W1531503887 @default.
- W1531503887 hasPrimaryLocation W15315038871 @default.
- W1531503887 hasRelatedWork W1531503887 @default.
- W1531503887 hasRelatedWork W1595155342 @default.
- W1531503887 hasRelatedWork W2499197348 @default.
- W1531503887 hasRelatedWork W2966773969 @default.
- W1531503887 hasRelatedWork W2971215788 @default.
- W1531503887 hasRelatedWork W3105117938 @default.
- W1531503887 hasRelatedWork W3189405183 @default.
- W1531503887 hasRelatedWork W3194940075 @default.
- W1531503887 hasRelatedWork W4295007166 @default.
- W1531503887 hasRelatedWork W2585487997 @default.
- W1531503887 isParatext "false" @default.
- W1531503887 isRetracted "false" @default.
- W1531503887 magId "1531503887" @default.
- W1531503887 workType "book-chapter" @default.