FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004306067> ?p ?o ?g. }

• W2004306067 endingPage "178" @default.
• W2004306067 startingPage "151" @default.
• W2004306067 abstract "The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent programs are studied. These issues have been previously considered by Lamport. To facilitate a careful examination of these issues, a language, CTL * , in which a universal or existential path quantifier can prefix an arbitrary linear time assertion, is defined. The expressive power of a number of sublanguages is then compared. CTL* is also related to the logics MPL of Abrahamson and PL of Harel, Kozen, and Parikh. The paper concludes with a comparison of the utility of branching and linear time temporal logics." @default.
• W2004306067 created "2016-06-24" @default.
• W2004306067 creator A5022535511 @default.
• W2004306067 creator A5087025582 @default.
• W2004306067 date "1986-01-02" @default.
• W2004306067 modified "2023-10-01" @default.
• W2004306067 title "“Sometimes” and “not never” revisited" @default.
• W2004306067 cites W1586491492 @default.
• W2004306067 cites W1967494119 @default.
• W2004306067 cites W1970603830 @default.
• W2004306067 cites W2002128397 @default.
• W2004306067 cites W2003227046 @default.
• W2004306067 cites W2040127143 @default.
• W2004306067 cites W2041398371 @default.
• W2004306067 cites W2048355938 @default.
• W2004306067 cites W2062458205 @default.
• W2004306067 cites W2069709605 @default.
• W2004306067 cites W2069979244 @default.
• W2004306067 cites W2072887965 @default.
• W2004306067 cites W2166656159 @default.
• W2004306067 cites W2806619258 @default.
• W2004306067 cites W4239399053 @default.
• W2004306067 cites W4252025696 @default.
• W2004306067 doi "https://doi.org/10.1145/4904.4999" @default.
• W2004306067 hasPublicationYear "1986" @default.
• W2004306067 type Work @default.
• W2004306067 sameAs 2004306067 @default.
• W2004306067 citedByCount "936" @default.
• W2004306067 countsByYear W20043060672012 @default.
• W2004306067 countsByYear W20043060672013 @default.
• W2004306067 countsByYear W20043060672014 @default.
• W2004306067 countsByYear W20043060672015 @default.
• W2004306067 countsByYear W20043060672016 @default.
• W2004306067 countsByYear W20043060672017 @default.
• W2004306067 countsByYear W20043060672018 @default.
• W2004306067 countsByYear W20043060672019 @default.
• W2004306067 countsByYear W20043060672020 @default.
• W2004306067 countsByYear W20043060672021 @default.
• W2004306067 countsByYear W20043060672022 @default.
• W2004306067 countsByYear W20043060672023 @default.
• W2004306067 crossrefType "journal-article" @default.
• W2004306067 hasAuthorship W2004306067A5022535511 @default.
• W2004306067 hasAuthorship W2004306067A5087025582 @default.
• W2004306067 hasBestOaLocation W20043060671 @default.
• W2004306067 hasConcept C110251889 @default.
• W2004306067 hasConcept C11413529 @default.
• W2004306067 hasConcept C138885662 @default.
• W2004306067 hasConcept C141603448 @default.
• W2004306067 hasConcept C147969180 @default.
• W2004306067 hasConcept C154317977 @default.
• W2004306067 hasConcept C154945302 @default.
• W2004306067 hasConcept C159985019 @default.
• W2004306067 hasConcept C185592680 @default.
• W2004306067 hasConcept C192562407 @default.
• W2004306067 hasConcept C195818886 @default.
• W2004306067 hasConcept C198008173 @default.
• W2004306067 hasConcept C199360897 @default.
• W2004306067 hasConcept C202751555 @default.
• W2004306067 hasConcept C206175624 @default.
• W2004306067 hasConcept C25016198 @default.
• W2004306067 hasConcept C2777735758 @default.
• W2004306067 hasConcept C2778523021 @default.
• W2004306067 hasConcept C40422974 @default.
• W2004306067 hasConcept C41008148 @default.
• W2004306067 hasConcept C41895202 @default.
• W2004306067 hasConcept C4777664 @default.
• W2004306067 hasConcept C55493867 @default.
• W2004306067 hasConcept C80444323 @default.
• W2004306067 hasConceptScore W2004306067C110251889 @default.
• W2004306067 hasConceptScore W2004306067C11413529 @default.
• W2004306067 hasConceptScore W2004306067C138885662 @default.
• W2004306067 hasConceptScore W2004306067C141603448 @default.
• W2004306067 hasConceptScore W2004306067C147969180 @default.
• W2004306067 hasConceptScore W2004306067C154317977 @default.
• W2004306067 hasConceptScore W2004306067C154945302 @default.
• W2004306067 hasConceptScore W2004306067C159985019 @default.
• W2004306067 hasConceptScore W2004306067C185592680 @default.
• W2004306067 hasConceptScore W2004306067C192562407 @default.
• W2004306067 hasConceptScore W2004306067C195818886 @default.
• W2004306067 hasConceptScore W2004306067C198008173 @default.
• W2004306067 hasConceptScore W2004306067C199360897 @default.
• W2004306067 hasConceptScore W2004306067C202751555 @default.
• W2004306067 hasConceptScore W2004306067C206175624 @default.
• W2004306067 hasConceptScore W2004306067C25016198 @default.
• W2004306067 hasConceptScore W2004306067C2777735758 @default.
• W2004306067 hasConceptScore W2004306067C2778523021 @default.
• W2004306067 hasConceptScore W2004306067C40422974 @default.
• W2004306067 hasConceptScore W2004306067C41008148 @default.
• W2004306067 hasConceptScore W2004306067C41895202 @default.
• W2004306067 hasConceptScore W2004306067C4777664 @default.
• W2004306067 hasConceptScore W2004306067C55493867 @default.
• W2004306067 hasConceptScore W2004306067C80444323 @default.
• W2004306067 hasIssue "1" @default.
• W2004306067 hasLocation W20043060671 @default.
• W2004306067 hasOpenAccess W2004306067 @default.
• W2004306067 hasPrimaryLocation W20043060671 @default.
• W2004306067 hasRelatedWork W1546948343 @default.
• W2004306067 hasRelatedWork W1976513602 @default.

• next