FRINK Linked Data Fragments server

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

• W2091043802 endingPage "121" @default.
• W2091043802 startingPage "93" @default.
• W2091043802 abstract "Regular model checking is the name of a family of techniques for analyzing infinite-state systems in which states are represented by words, sets of states by finite automata, and transitions by finite-state transducers. In this framework, the central problem is to compute the transitive closure of a transducer. Such a representation allows to compute the set of reachable states of the system and to detect loops between states. A main obstacle of this approach is that there exists many systems for which the reachable set of states is not regular. Recently, regular model checking has been extended to systems with tree-like architectures. In this paper, we provide a procedure, based on a new implementable acceleration technique, for computing the transitive closure of a tree transducer. The procedure consists of incrementally adding new transitions while merging states, which are related according to a pre-defined equivalence relation. The equivalence is induced by a downward and an upward simulation relation, which can be efficiently computed. Our technique can also be used to compute the set of reachable states without computing the transitive closure. We have implemented and applied our technique to various protocols." @default.
• W2091043802 created "2016-06-24" @default.
• W2091043802 creator A5002478680 @default.
• W2091043802 creator A5030129842 @default.
• W2091043802 creator A5087431438 @default.
• W2091043802 creator A5091288276 @default.
• W2091043802 date "2006-08-01" @default.
• W2091043802 modified "2023-10-01" @default.
• W2091043802 title "Tree regular model checking: A simulation-based approach" @default.
• W2091043802 cites W1498256026 @default.
• W2091043802 cites W1504438699 @default.
• W2091043802 cites W1526231760 @default.
• W2091043802 cites W1526786777 @default.
• W2091043802 cites W1547793878 @default.
• W2091043802 cites W1560050980 @default.
• W2091043802 cites W1569690296 @default.
• W2091043802 cites W1577233792 @default.
• W2091043802 cites W1577235157 @default.
• W2091043802 cites W1593799327 @default.
• W2091043802 cites W1861590051 @default.
• W2091043802 cites W1968448471 @default.
• W2091043802 cites W1982556442 @default.
• W2091043802 cites W2019881090 @default.
• W2091043802 cites W2033071128 @default.
• W2091043802 cites W2096698163 @default.
• W2091043802 cites W2098817244 @default.
• W2091043802 cites W2510114496 @default.
• W2091043802 cites W2914517473 @default.
• W2091043802 cites W3006308506 @default.
• W2091043802 cites W42364276 @default.
• W2091043802 cites W2464021761 @default.
• W2091043802 cites W2583607346 @default.
• W2091043802 cites W2584456909 @default.
• W2091043802 cites W2793225784 @default.
• W2091043802 doi "https://doi.org/10.1016/j.jlap.2006.02.001" @default.
• W2091043802 hasPublicationYear "2006" @default.
• W2091043802 type Work @default.
• W2091043802 sameAs 2091043802 @default.
• W2091043802 citedByCount "25" @default.
• W2091043802 countsByYear W20910438022012 @default.
• W2091043802 countsByYear W20910438022014 @default.
• W2091043802 countsByYear W20910438022015 @default.
• W2091043802 countsByYear W20910438022016 @default.
• W2091043802 countsByYear W20910438022021 @default.
• W2091043802 crossrefType "journal-article" @default.
• W2091043802 hasAuthorship W2091043802A5002478680 @default.
• W2091043802 hasAuthorship W2091043802A5030129842 @default.
• W2091043802 hasAuthorship W2091043802A5087431438 @default.
• W2091043802 hasAuthorship W2091043802A5091288276 @default.
• W2091043802 hasBestOaLocation W20910438021 @default.
• W2091043802 hasConcept C110251889 @default.
• W2091043802 hasConcept C112505250 @default.
• W2091043802 hasConcept C113174947 @default.
• W2091043802 hasConcept C11413529 @default.
• W2091043802 hasConcept C114614502 @default.
• W2091043802 hasConcept C118615104 @default.
• W2091043802 hasConcept C128896722 @default.
• W2091043802 hasConcept C136643341 @default.
• W2091043802 hasConcept C146834321 @default.
• W2091043802 hasConcept C156103551 @default.
• W2091043802 hasConcept C162324750 @default.
• W2091043802 hasConcept C177264268 @default.
• W2091043802 hasConcept C17744445 @default.
• W2091043802 hasConcept C191399111 @default.
• W2091043802 hasConcept C199360897 @default.
• W2091043802 hasConcept C199539241 @default.
• W2091043802 hasConcept C2776359362 @default.
• W2091043802 hasConcept C2776650193 @default.
• W2091043802 hasConcept C2778583254 @default.
• W2091043802 hasConcept C2780069185 @default.
• W2091043802 hasConcept C33923547 @default.
• W2091043802 hasConcept C34447519 @default.
• W2091043802 hasConcept C41008148 @default.
• W2091043802 hasConcept C48103436 @default.
• W2091043802 hasConcept C52370388 @default.
• W2091043802 hasConcept C80444323 @default.
• W2091043802 hasConcept C94625758 @default.
• W2091043802 hasConceptScore W2091043802C110251889 @default.
• W2091043802 hasConceptScore W2091043802C112505250 @default.
• W2091043802 hasConceptScore W2091043802C113174947 @default.
• W2091043802 hasConceptScore W2091043802C11413529 @default.
• W2091043802 hasConceptScore W2091043802C114614502 @default.
• W2091043802 hasConceptScore W2091043802C118615104 @default.
• W2091043802 hasConceptScore W2091043802C128896722 @default.
• W2091043802 hasConceptScore W2091043802C136643341 @default.
• W2091043802 hasConceptScore W2091043802C146834321 @default.
• W2091043802 hasConceptScore W2091043802C156103551 @default.
• W2091043802 hasConceptScore W2091043802C162324750 @default.
• W2091043802 hasConceptScore W2091043802C177264268 @default.
• W2091043802 hasConceptScore W2091043802C17744445 @default.
• W2091043802 hasConceptScore W2091043802C191399111 @default.
• W2091043802 hasConceptScore W2091043802C199360897 @default.
• W2091043802 hasConceptScore W2091043802C199539241 @default.
• W2091043802 hasConceptScore W2091043802C2776359362 @default.
• W2091043802 hasConceptScore W2091043802C2776650193 @default.
• W2091043802 hasConceptScore W2091043802C2778583254 @default.
• W2091043802 hasConceptScore W2091043802C2780069185 @default.
• W2091043802 hasConceptScore W2091043802C33923547 @default.

• next