Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118519493> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2118519493 abstract "Rabin conditions are a general class of properties of infinite sequences that encompass most known automata-theoretic acceptance conditions and notions of fairness. It is shown how to determine whether a program satisfies a Rabin condition by reasoning about single transitions instead of infinite computations. A concept, a Rabin measure, which in a precise sense expresses progress for each transition towards satisfaction of the Rabin condition, is introduced. When applied to termination problems under fairness constraints, Rabin measures constitute a simpler verification method than previous approaches, which often are syntax-dependent and require recursive applications of proof rules to syntactically transformed programs. Rabin measures also generalize earlier automata-theoretic verification methods. Combined with a result by S. Safra (1988), the result gives a method for proving that a program satisfies a nondeterministic Buchi automaton specification.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2118519493 created "2016-06-24" @default.
- W2118519493 creator A5053923311 @default.
- W2118519493 creator A5083488023 @default.
- W2118519493 date "2002-12-10" @default.
- W2118519493 modified "2023-10-18" @default.
- W2118519493 title "Rabin measures and their applications to fairness and automata theory" @default.
- W2118519493 cites W1503889025 @default.
- W2118519493 cites W1974312771 @default.
- W2118519493 cites W1982457550 @default.
- W2118519493 cites W1984478483 @default.
- W2118519493 cites W1986033227 @default.
- W2118519493 cites W2022228153 @default.
- W2118519493 cites W2034494860 @default.
- W2118519493 cites W2039025680 @default.
- W2118519493 cites W2045165287 @default.
- W2118519493 cites W2058630223 @default.
- W2118519493 cites W2082867148 @default.
- W2118519493 cites W2143417417 @default.
- W2118519493 cites W2149325295 @default.
- W2118519493 cites W2166656159 @default.
- W2118519493 cites W3162358650 @default.
- W2118519493 cites W4240126131 @default.
- W2118519493 doi "https://doi.org/10.1109/lics.1991.151650" @default.
- W2118519493 hasPublicationYear "2002" @default.
- W2118519493 type Work @default.
- W2118519493 sameAs 2118519493 @default.
- W2118519493 citedByCount "20" @default.
- W2118519493 countsByYear W21185194932014 @default.
- W2118519493 countsByYear W21185194932016 @default.
- W2118519493 countsByYear W21185194932017 @default.
- W2118519493 countsByYear W21185194932018 @default.
- W2118519493 countsByYear W21185194932020 @default.
- W2118519493 crossrefType "proceedings-article" @default.
- W2118519493 hasAuthorship W2118519493A5053923311 @default.
- W2118519493 hasAuthorship W2118519493A5083488023 @default.
- W2118519493 hasBestOaLocation W21185194932 @default.
- W2118519493 hasConcept C112505250 @default.
- W2118519493 hasConcept C116248031 @default.
- W2118519493 hasConcept C118615104 @default.
- W2118519493 hasConcept C154945302 @default.
- W2118519493 hasConcept C165753454 @default.
- W2118519493 hasConcept C176181172 @default.
- W2118519493 hasConcept C194525867 @default.
- W2118519493 hasConcept C2777212361 @default.
- W2118519493 hasConcept C33923547 @default.
- W2118519493 hasConcept C41008148 @default.
- W2118519493 hasConcept C60048249 @default.
- W2118519493 hasConcept C80444323 @default.
- W2118519493 hasConceptScore W2118519493C112505250 @default.
- W2118519493 hasConceptScore W2118519493C116248031 @default.
- W2118519493 hasConceptScore W2118519493C118615104 @default.
- W2118519493 hasConceptScore W2118519493C154945302 @default.
- W2118519493 hasConceptScore W2118519493C165753454 @default.
- W2118519493 hasConceptScore W2118519493C176181172 @default.
- W2118519493 hasConceptScore W2118519493C194525867 @default.
- W2118519493 hasConceptScore W2118519493C2777212361 @default.
- W2118519493 hasConceptScore W2118519493C33923547 @default.
- W2118519493 hasConceptScore W2118519493C41008148 @default.
- W2118519493 hasConceptScore W2118519493C60048249 @default.
- W2118519493 hasConceptScore W2118519493C80444323 @default.
- W2118519493 hasLocation W21185194931 @default.
- W2118519493 hasLocation W21185194932 @default.
- W2118519493 hasOpenAccess W2118519493 @default.
- W2118519493 hasPrimaryLocation W21185194931 @default.
- W2118519493 hasRelatedWork W1508260233 @default.
- W2118519493 hasRelatedWork W1522966647 @default.
- W2118519493 hasRelatedWork W1945859206 @default.
- W2118519493 hasRelatedWork W1973678919 @default.
- W2118519493 hasRelatedWork W1979078717 @default.
- W2118519493 hasRelatedWork W2009929770 @default.
- W2118519493 hasRelatedWork W2118519493 @default.
- W2118519493 hasRelatedWork W2150447589 @default.
- W2118519493 hasRelatedWork W2966079298 @default.
- W2118519493 hasRelatedWork W2583818399 @default.
- W2118519493 isParatext "false" @default.
- W2118519493 isRetracted "false" @default.
- W2118519493 magId "2118519493" @default.
- W2118519493 workType "article" @default.