Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970577612> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1970577612 abstract "The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens while liveness properties assert that something good happens eventually. In a well-known paper Alpern and Schneider gave a topological characterization of safety and liveness for the linear time framework. Gumm has stated these notions in the more abstract setting of V-complete Boolean algebras. Recently, we characterized safety and liveness for the branching time framework and found that neither the topological characterization nor Gumm's characterization were general enough for our needs. We present a lattice theoretic characterization that allows us to unify previous results on safety and liveness, including the results for the linear time and branching time frameworks and for w-regular string and tree languages." @default.
- W1970577612 created "2016-06-24" @default.
- W1970577612 creator A5045700824 @default.
- W1970577612 creator A5050250788 @default.
- W1970577612 date "2003-07-13" @default.
- W1970577612 modified "2023-09-26" @default.
- W1970577612 title "A lattice-theoretic characterization of safety and liveness" @default.
- W1970577612 cites W1546220007 @default.
- W1970577612 cites W1590315663 @default.
- W1970577612 cites W1612453857 @default.
- W1970577612 cites W1761635979 @default.
- W1970577612 cites W1984478483 @default.
- W1970577612 cites W2004306067 @default.
- W1970577612 cites W2023808162 @default.
- W1970577612 cites W2036910349 @default.
- W1970577612 cites W2052306562 @default.
- W1970577612 cites W2131064738 @default.
- W1970577612 cites W2132107743 @default.
- W1970577612 cites W2132334337 @default.
- W1970577612 cites W2166656159 @default.
- W1970577612 cites W2171826834 @default.
- W1970577612 cites W2914206182 @default.
- W1970577612 doi "https://doi.org/10.1145/872035.872083" @default.
- W1970577612 hasPublicationYear "2003" @default.
- W1970577612 type Work @default.
- W1970577612 sameAs 1970577612 @default.
- W1970577612 citedByCount "12" @default.
- W1970577612 countsByYear W19705776122014 @default.
- W1970577612 countsByYear W19705776122018 @default.
- W1970577612 countsByYear W19705776122021 @default.
- W1970577612 crossrefType "proceedings-article" @default.
- W1970577612 hasAuthorship W1970577612A5045700824 @default.
- W1970577612 hasAuthorship W1970577612A5050250788 @default.
- W1970577612 hasConcept C121332964 @default.
- W1970577612 hasConcept C15569618 @default.
- W1970577612 hasConcept C171250308 @default.
- W1970577612 hasConcept C192562407 @default.
- W1970577612 hasConcept C24890656 @default.
- W1970577612 hasConcept C2780841128 @default.
- W1970577612 hasConcept C2781204021 @default.
- W1970577612 hasConcept C41008148 @default.
- W1970577612 hasConcept C80444323 @default.
- W1970577612 hasConceptScore W1970577612C121332964 @default.
- W1970577612 hasConceptScore W1970577612C15569618 @default.
- W1970577612 hasConceptScore W1970577612C171250308 @default.
- W1970577612 hasConceptScore W1970577612C192562407 @default.
- W1970577612 hasConceptScore W1970577612C24890656 @default.
- W1970577612 hasConceptScore W1970577612C2780841128 @default.
- W1970577612 hasConceptScore W1970577612C2781204021 @default.
- W1970577612 hasConceptScore W1970577612C41008148 @default.
- W1970577612 hasConceptScore W1970577612C80444323 @default.
- W1970577612 hasLocation W19705776121 @default.
- W1970577612 hasOpenAccess W1970577612 @default.
- W1970577612 hasPrimaryLocation W19705776121 @default.
- W1970577612 hasRelatedWork W1500751360 @default.
- W1970577612 hasRelatedWork W1564169401 @default.
- W1970577612 hasRelatedWork W1568496998 @default.
- W1970577612 hasRelatedWork W1575737181 @default.
- W1970577612 hasRelatedWork W1992841501 @default.
- W1970577612 hasRelatedWork W2151102492 @default.
- W1970577612 hasRelatedWork W2185728055 @default.
- W1970577612 hasRelatedWork W2497508572 @default.
- W1970577612 hasRelatedWork W2796393251 @default.
- W1970577612 hasRelatedWork W4241086586 @default.
- W1970577612 isParatext "false" @default.
- W1970577612 isRetracted "false" @default.
- W1970577612 magId "1970577612" @default.
- W1970577612 workType "article" @default.