Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000899326> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2000899326 endingPage "38" @default.
- W2000899326 startingPage "35" @default.
- W2000899326 abstract "Jutla, Knapp and Rao (in: Proc. 8th Ann. Symp. on Principles of Distributed Computing) proved a completeness result for leads-to in UNITY, using their definition of leads-to by means of a predicate-transformer; the proof relies on theorems of temporal logic and μ-calculus. Sanders (Formal Aspects of Computing 3 (1991) 189–205) defined leads-to in a version of the UNITY logic that incorporates initial conditions, and derived the completeness of temporal logic. The present paper contains a simple direct proof of the same result." @default.
- W2000899326 created "2016-06-24" @default.
- W2000899326 creator A5035376081 @default.
- W2000899326 date "1992-01-01" @default.
- W2000899326 modified "2023-10-18" @default.
- W2000899326 title "A simple proof of a completeness result for leads-to in the UNITY logic" @default.
- W2000899326 cites W1798280647 @default.
- W2000899326 cites W1857327297 @default.
- W2000899326 cites W2005989073 @default.
- W2000899326 cites W2035988561 @default.
- W2000899326 cites W2085940193 @default.
- W2000899326 cites W2295221511 @default.
- W2000899326 doi "https://doi.org/10.1016/0020-0190(92)90077-9" @default.
- W2000899326 hasPublicationYear "1992" @default.
- W2000899326 type Work @default.
- W2000899326 sameAs 2000899326 @default.
- W2000899326 citedByCount "18" @default.
- W2000899326 crossrefType "journal-article" @default.
- W2000899326 hasAuthorship W2000899326A5035376081 @default.
- W2000899326 hasConcept C100481476 @default.
- W2000899326 hasConcept C102993220 @default.
- W2000899326 hasConcept C108710211 @default.
- W2000899326 hasConcept C111472728 @default.
- W2000899326 hasConcept C118615104 @default.
- W2000899326 hasConcept C134306372 @default.
- W2000899326 hasConcept C136119220 @default.
- W2000899326 hasConcept C138885662 @default.
- W2000899326 hasConcept C169896238 @default.
- W2000899326 hasConcept C17231256 @default.
- W2000899326 hasConcept C19689857 @default.
- W2000899326 hasConcept C199343813 @default.
- W2000899326 hasConcept C199360897 @default.
- W2000899326 hasConcept C200116569 @default.
- W2000899326 hasConcept C202444582 @default.
- W2000899326 hasConcept C2318724 @default.
- W2000899326 hasConcept C25016198 @default.
- W2000899326 hasConcept C2524010 @default.
- W2000899326 hasConcept C2777686260 @default.
- W2000899326 hasConcept C2780586882 @default.
- W2000899326 hasConcept C33923547 @default.
- W2000899326 hasConcept C41008148 @default.
- W2000899326 hasConcept C71924100 @default.
- W2000899326 hasConceptScore W2000899326C100481476 @default.
- W2000899326 hasConceptScore W2000899326C102993220 @default.
- W2000899326 hasConceptScore W2000899326C108710211 @default.
- W2000899326 hasConceptScore W2000899326C111472728 @default.
- W2000899326 hasConceptScore W2000899326C118615104 @default.
- W2000899326 hasConceptScore W2000899326C134306372 @default.
- W2000899326 hasConceptScore W2000899326C136119220 @default.
- W2000899326 hasConceptScore W2000899326C138885662 @default.
- W2000899326 hasConceptScore W2000899326C169896238 @default.
- W2000899326 hasConceptScore W2000899326C17231256 @default.
- W2000899326 hasConceptScore W2000899326C19689857 @default.
- W2000899326 hasConceptScore W2000899326C199343813 @default.
- W2000899326 hasConceptScore W2000899326C199360897 @default.
- W2000899326 hasConceptScore W2000899326C200116569 @default.
- W2000899326 hasConceptScore W2000899326C202444582 @default.
- W2000899326 hasConceptScore W2000899326C2318724 @default.
- W2000899326 hasConceptScore W2000899326C25016198 @default.
- W2000899326 hasConceptScore W2000899326C2524010 @default.
- W2000899326 hasConceptScore W2000899326C2777686260 @default.
- W2000899326 hasConceptScore W2000899326C2780586882 @default.
- W2000899326 hasConceptScore W2000899326C33923547 @default.
- W2000899326 hasConceptScore W2000899326C41008148 @default.
- W2000899326 hasConceptScore W2000899326C71924100 @default.
- W2000899326 hasIssue "1" @default.
- W2000899326 hasLocation W20008993261 @default.
- W2000899326 hasOpenAccess W2000899326 @default.
- W2000899326 hasPrimaryLocation W20008993261 @default.
- W2000899326 hasRelatedWork W1493788057 @default.
- W2000899326 hasRelatedWork W2000899326 @default.
- W2000899326 hasRelatedWork W2057179252 @default.
- W2000899326 hasRelatedWork W2135536063 @default.
- W2000899326 hasRelatedWork W2385436975 @default.
- W2000899326 hasRelatedWork W2534205211 @default.
- W2000899326 hasRelatedWork W2801429813 @default.
- W2000899326 hasRelatedWork W3101258384 @default.
- W2000899326 hasRelatedWork W31250260 @default.
- W2000899326 hasRelatedWork W4295168991 @default.
- W2000899326 hasVolume "41" @default.
- W2000899326 isParatext "false" @default.
- W2000899326 isRetracted "false" @default.
- W2000899326 magId "2000899326" @default.
- W2000899326 workType "article" @default.