Matches in SemOpenAlex for { <https://semopenalex.org/work/W4224122664> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4224122664 endingPage "269" @default.
- W4224122664 startingPage "254" @default.
- W4224122664 abstract "With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic nature of such applications. We describe the expressive power of a simple yet powerful branching-time specification framework -- branching-time normal form (BNF), which has been developed as part of clausal resolution for branching-time temporal logics. We show the encoding of Buchi Tree Automata in the language of the normal form, thus representing, syntactically, tree automata in a high-level way. Thus we can treat BNF as a normal form for the latter. These results enable us (1) to translate given problem specifications into the normal form and apply as a verification method a deductive reasoning technique -- the clausal temporal resolution; (2) to apply one of the core components of the resolution method -- the loop searching to extract, syntactically, hidden invariants in a wide range of complex temporal specifications." @default.
- W4224122664 created "2022-04-19" @default.
- W4224122664 creator A5052381078 @default.
- W4224122664 date "2022-04-14" @default.
- W4224122664 modified "2023-09-26" @default.
- W4224122664 title "On the Expressive Power of the Normal Form for Branching-Time Temporal Logics" @default.
- W4224122664 cites W104477597 @default.
- W4224122664 cites W1548443354 @default.
- W4224122664 cites W1671579239 @default.
- W4224122664 cites W1765447656 @default.
- W4224122664 cites W1969550103 @default.
- W4224122664 cites W1983538726 @default.
- W4224122664 cites W1990608809 @default.
- W4224122664 cites W2004306067 @default.
- W4224122664 cites W2041403185 @default.
- W4224122664 cites W2053231467 @default.
- W4224122664 cites W2069709605 @default.
- W4224122664 cites W2111002835 @default.
- W4224122664 cites W2126711026 @default.
- W4224122664 cites W2131225255 @default.
- W4224122664 cites W2132227267 @default.
- W4224122664 cites W2160591545 @default.
- W4224122664 cites W2180066852 @default.
- W4224122664 cites W2811472820 @default.
- W4224122664 cites W3209686037 @default.
- W4224122664 doi "https://doi.org/10.4204/eptcs.358.19" @default.
- W4224122664 hasPublicationYear "2022" @default.
- W4224122664 type Work @default.
- W4224122664 citedByCount "0" @default.
- W4224122664 crossrefType "journal-article" @default.
- W4224122664 hasAuthorship W4224122664A5052381078 @default.
- W4224122664 hasBestOaLocation W42241226641 @default.
- W4224122664 hasConcept C112505250 @default.
- W4224122664 hasConcept C113174947 @default.
- W4224122664 hasConcept C11413529 @default.
- W4224122664 hasConcept C134306372 @default.
- W4224122664 hasConcept C159985019 @default.
- W4224122664 hasConcept C192562407 @default.
- W4224122664 hasConcept C195818886 @default.
- W4224122664 hasConcept C198008173 @default.
- W4224122664 hasConcept C206175624 @default.
- W4224122664 hasConcept C25016198 @default.
- W4224122664 hasConcept C33923547 @default.
- W4224122664 hasConcept C41008148 @default.
- W4224122664 hasConcept C80444323 @default.
- W4224122664 hasConceptScore W4224122664C112505250 @default.
- W4224122664 hasConceptScore W4224122664C113174947 @default.
- W4224122664 hasConceptScore W4224122664C11413529 @default.
- W4224122664 hasConceptScore W4224122664C134306372 @default.
- W4224122664 hasConceptScore W4224122664C159985019 @default.
- W4224122664 hasConceptScore W4224122664C192562407 @default.
- W4224122664 hasConceptScore W4224122664C195818886 @default.
- W4224122664 hasConceptScore W4224122664C198008173 @default.
- W4224122664 hasConceptScore W4224122664C206175624 @default.
- W4224122664 hasConceptScore W4224122664C25016198 @default.
- W4224122664 hasConceptScore W4224122664C33923547 @default.
- W4224122664 hasConceptScore W4224122664C41008148 @default.
- W4224122664 hasConceptScore W4224122664C80444323 @default.
- W4224122664 hasLocation W42241226641 @default.
- W4224122664 hasLocation W42241226642 @default.
- W4224122664 hasLocation W42241226643 @default.
- W4224122664 hasOpenAccess W4224122664 @default.
- W4224122664 hasPrimaryLocation W42241226641 @default.
- W4224122664 hasRelatedWork W1527462432 @default.
- W4224122664 hasRelatedWork W1546948343 @default.
- W4224122664 hasRelatedWork W1963128506 @default.
- W4224122664 hasRelatedWork W1965230791 @default.
- W4224122664 hasRelatedWork W2104974242 @default.
- W4224122664 hasRelatedWork W2404089326 @default.
- W4224122664 hasRelatedWork W2798742893 @default.
- W4224122664 hasRelatedWork W3123850752 @default.
- W4224122664 hasRelatedWork W3139937676 @default.
- W4224122664 hasRelatedWork W4224122664 @default.
- W4224122664 hasVolume "358" @default.
- W4224122664 isParatext "false" @default.
- W4224122664 isRetracted "false" @default.
- W4224122664 workType "article" @default.