FRINK Linked Data Fragments server

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

• W1536744902 endingPage "186" @default.
• W1536744902 startingPage "172" @default.
• W1536744902 abstract "Queue-content Decision Diagrams (QDDs) are finite-automaton based data structures for representing (possibly infinite) sets of contents of a finite collection of unbounded FIFO queues. Their intended use is to serve as a symbolic representation of the possible queue contents that can occur in the state space of a protocol modeled by finite-state machines communicating through unbounded queues. This is done with the help of a loop-first search, a state-space exploration technique that attempts whenever possible to compute symbolically the effect of repeatedly executing a loop any number of times, making it possible to analyze protocols with infinite state spaces though without the guarantee of termination. This paper first solves a key problem concerning the use of QDDs in this context: it precisely characterizes when, and shows how, the operations required by a loop-first search can be applied to QDDs. Then, it addresses the problem of exploiting QDDs and loop-first searches to broaden the range of properties that can be checked from simple state reachability to temporal logic. Finally, a sufficient criterion for the termination of a loop-first search using QDDs is given." @default.
• W1536744902 created "2016-06-24" @default.
• W1536744902 creator A5029356980 @default.
• W1536744902 creator A5069392259 @default.
• W1536744902 creator A5074692660 @default.
• W1536744902 creator A5078094550 @default.
• W1536744902 date "1997-01-01" @default.
• W1536744902 modified "2023-10-12" @default.
• W1536744902 title "The power of QDDs (extended abstract)" @default.
• W1536744902 cites W1501210080 @default.
• W1536744902 cites W1506588809 @default.
• W1536744902 cites W1516753891 @default.
• W1536744902 cites W1523442991 @default.
• W1536744902 cites W1550288578 @default.
• W1536744902 cites W1934074768 @default.
• W1536744902 cites W1957511817 @default.
• W1536744902 cites W1976773489 @default.
• W1536744902 cites W1990609140 @default.
• W1536744902 cites W2018801157 @default.
• W1536744902 cites W2025970201 @default.
• W1536744902 cites W2031592188 @default.
• W1536744902 cites W2043100293 @default.
• W1536744902 cites W2093709900 @default.
• W1536744902 cites W2117189826 @default.
• W1536744902 cites W2688386367 @default.
• W1536744902 cites W4255701988 @default.
• W1536744902 doi "https://doi.org/10.1007/bfb0032741" @default.
• W1536744902 hasPublicationYear "1997" @default.
• W1536744902 type Work @default.
• W1536744902 sameAs 1536744902 @default.
• W1536744902 citedByCount "47" @default.
• W1536744902 countsByYear W15367449022013 @default.
• W1536744902 countsByYear W15367449022015 @default.
• W1536744902 countsByYear W15367449022016 @default.
• W1536744902 countsByYear W15367449022017 @default.
• W1536744902 countsByYear W15367449022019 @default.
• W1536744902 countsByYear W15367449022021 @default.
• W1536744902 countsByYear W15367449022022 @default.
• W1536744902 crossrefType "book-chapter" @default.
• W1536744902 hasAuthorship W1536744902A5029356980 @default.
• W1536744902 hasAuthorship W1536744902A5069392259 @default.
• W1536744902 hasAuthorship W1536744902A5074692660 @default.
• W1536744902 hasAuthorship W1536744902A5078094550 @default.
• W1536744902 hasBestOaLocation W15367449022 @default.
• W1536744902 hasConcept C105795698 @default.
• W1536744902 hasConcept C110251889 @default.
• W1536744902 hasConcept C112505250 @default.
• W1536744902 hasConcept C11413529 @default.
• W1536744902 hasConcept C114614502 @default.
• W1536744902 hasConcept C136643341 @default.
• W1536744902 hasConcept C151730666 @default.
• W1536744902 hasConcept C160403385 @default.
• W1536744902 hasConcept C167822520 @default.
• W1536744902 hasConcept C17744445 @default.
• W1536744902 hasConcept C184670325 @default.
• W1536744902 hasConcept C199360897 @default.
• W1536744902 hasConcept C199539241 @default.
• W1536744902 hasConcept C26517878 @default.
• W1536744902 hasConcept C2776359362 @default.
• W1536744902 hasConcept C2777145635 @default.
• W1536744902 hasConcept C2777669093 @default.
• W1536744902 hasConcept C2779343474 @default.
• W1536744902 hasConcept C33923547 @default.
• W1536744902 hasConcept C38652104 @default.
• W1536744902 hasConcept C41008148 @default.
• W1536744902 hasConcept C48103436 @default.
• W1536744902 hasConcept C72434380 @default.
• W1536744902 hasConcept C80444323 @default.
• W1536744902 hasConcept C86803240 @default.
• W1536744902 hasConcept C94625758 @default.
• W1536744902 hasConceptScore W1536744902C105795698 @default.
• W1536744902 hasConceptScore W1536744902C110251889 @default.
• W1536744902 hasConceptScore W1536744902C112505250 @default.
• W1536744902 hasConceptScore W1536744902C11413529 @default.
• W1536744902 hasConceptScore W1536744902C114614502 @default.
• W1536744902 hasConceptScore W1536744902C136643341 @default.
• W1536744902 hasConceptScore W1536744902C151730666 @default.
• W1536744902 hasConceptScore W1536744902C160403385 @default.
• W1536744902 hasConceptScore W1536744902C167822520 @default.
• W1536744902 hasConceptScore W1536744902C17744445 @default.
• W1536744902 hasConceptScore W1536744902C184670325 @default.
• W1536744902 hasConceptScore W1536744902C199360897 @default.
• W1536744902 hasConceptScore W1536744902C199539241 @default.
• W1536744902 hasConceptScore W1536744902C26517878 @default.
• W1536744902 hasConceptScore W1536744902C2776359362 @default.
• W1536744902 hasConceptScore W1536744902C2777145635 @default.
• W1536744902 hasConceptScore W1536744902C2777669093 @default.
• W1536744902 hasConceptScore W1536744902C2779343474 @default.
• W1536744902 hasConceptScore W1536744902C33923547 @default.
• W1536744902 hasConceptScore W1536744902C38652104 @default.
• W1536744902 hasConceptScore W1536744902C41008148 @default.
• W1536744902 hasConceptScore W1536744902C48103436 @default.
• W1536744902 hasConceptScore W1536744902C72434380 @default.
• W1536744902 hasConceptScore W1536744902C80444323 @default.
• W1536744902 hasConceptScore W1536744902C86803240 @default.
• W1536744902 hasConceptScore W1536744902C94625758 @default.
• W1536744902 hasLocation W15367449021 @default.
• W1536744902 hasLocation W15367449022 @default.

• next