Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022228153> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2022228153 endingPage "98" @default.
- W2022228153 startingPage "79" @default.
- W2022228153 abstract "Vardi, M.Y., Verification of concurrent programs: the automata-theoretic framework, Annals of Pure and Applied Logic 51 (1991) 79–98. We present an automata-theoretic framework to the verification of concurrent and nondeterministic programs. The basic idea is that to verify that a program P is correct one writes a program A that receives the computation of P as input and diverges only on incorrect computations of P . Now P is correct if and only if a program P A , obtained by combining P and A , terminates. We formalize this idea in a framework of ω -automata with a recursive set of states. This unifies previous works on verification of fair termination and verification of temporal properties." @default.
- W2022228153 created "2016-06-24" @default.
- W2022228153 creator A5000059818 @default.
- W2022228153 date "1991-03-01" @default.
- W2022228153 modified "2023-10-10" @default.
- W2022228153 title "Verification of concurrent programs: the automata-theoretic framework*" @default.
- W2022228153 cites W1964845238 @default.
- W2022228153 cites W1970603830 @default.
- W2022228153 cites W1974312771 @default.
- W2022228153 cites W1976773489 @default.
- W2022228153 cites W1986033227 @default.
- W2022228153 cites W2003227046 @default.
- W2022228153 cites W2014552079 @default.
- W2022228153 cites W2026134631 @default.
- W2022228153 cites W2039025680 @default.
- W2022228153 cites W2058630223 @default.
- W2022228153 cites W2062879749 @default.
- W2022228153 cites W2063825888 @default.
- W2022228153 cites W2085533703 @default.
- W2022228153 cites W2102484310 @default.
- W2022228153 cites W2111619838 @default.
- W2022228153 cites W2117189826 @default.
- W2022228153 cites W2126395320 @default.
- W2022228153 cites W2143417417 @default.
- W2022228153 cites W2149325295 @default.
- W2022228153 cites W2165373889 @default.
- W2022228153 cites W2166656159 @default.
- W2022228153 cites W2806619258 @default.
- W2022228153 doi "https://doi.org/10.1016/0168-0072(91)90066-u" @default.
- W2022228153 hasPublicationYear "1991" @default.
- W2022228153 type Work @default.
- W2022228153 sameAs 2022228153 @default.
- W2022228153 citedByCount "91" @default.
- W2022228153 countsByYear W20222281532012 @default.
- W2022228153 countsByYear W20222281532013 @default.
- W2022228153 countsByYear W20222281532014 @default.
- W2022228153 countsByYear W20222281532015 @default.
- W2022228153 countsByYear W20222281532016 @default.
- W2022228153 countsByYear W20222281532017 @default.
- W2022228153 countsByYear W20222281532018 @default.
- W2022228153 countsByYear W20222281532019 @default.
- W2022228153 countsByYear W20222281532020 @default.
- W2022228153 countsByYear W20222281532021 @default.
- W2022228153 countsByYear W20222281532022 @default.
- W2022228153 crossrefType "journal-article" @default.
- W2022228153 hasAuthorship W2022228153A5000059818 @default.
- W2022228153 hasConcept C110251889 @default.
- W2022228153 hasConcept C112505250 @default.
- W2022228153 hasConcept C11413529 @default.
- W2022228153 hasConcept C116248031 @default.
- W2022228153 hasConcept C176181172 @default.
- W2022228153 hasConcept C177264268 @default.
- W2022228153 hasConcept C193702766 @default.
- W2022228153 hasConcept C199360897 @default.
- W2022228153 hasConcept C41008148 @default.
- W2022228153 hasConcept C45374587 @default.
- W2022228153 hasConcept C80444323 @default.
- W2022228153 hasConceptScore W2022228153C110251889 @default.
- W2022228153 hasConceptScore W2022228153C112505250 @default.
- W2022228153 hasConceptScore W2022228153C11413529 @default.
- W2022228153 hasConceptScore W2022228153C116248031 @default.
- W2022228153 hasConceptScore W2022228153C176181172 @default.
- W2022228153 hasConceptScore W2022228153C177264268 @default.
- W2022228153 hasConceptScore W2022228153C193702766 @default.
- W2022228153 hasConceptScore W2022228153C199360897 @default.
- W2022228153 hasConceptScore W2022228153C41008148 @default.
- W2022228153 hasConceptScore W2022228153C45374587 @default.
- W2022228153 hasConceptScore W2022228153C80444323 @default.
- W2022228153 hasIssue "1-2" @default.
- W2022228153 hasLocation W20222281531 @default.
- W2022228153 hasOpenAccess W2022228153 @default.
- W2022228153 hasPrimaryLocation W20222281531 @default.
- W2022228153 hasRelatedWork W1561964073 @default.
- W2022228153 hasRelatedWork W1975616488 @default.
- W2022228153 hasRelatedWork W2022228153 @default.
- W2022228153 hasRelatedWork W2052292955 @default.
- W2022228153 hasRelatedWork W2151898527 @default.
- W2022228153 hasRelatedWork W91315594 @default.
- W2022228153 hasRelatedWork W1894736207 @default.
- W2022228153 hasRelatedWork W2096825926 @default.
- W2022228153 hasRelatedWork W2506096965 @default.
- W2022228153 hasRelatedWork W2583261385 @default.
- W2022228153 hasVolume "51" @default.
- W2022228153 isParatext "false" @default.
- W2022228153 isRetracted "false" @default.
- W2022228153 magId "2022228153" @default.
- W2022228153 workType "article" @default.