Matches in SemOpenAlex for { <https://semopenalex.org/work/W171034154> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W171034154 endingPage "71" @default.
- W171034154 startingPage "57" @default.
- W171034154 abstract "We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register automata. A major contribution is a construction of succinct canonical register automata, which is parameterized on the set of relations by which elements in the data domain can be compared. We also present a Myhill Nerode-like theorem, from which minimal canonical automata can be constructed. This canonical form is as expressive as general deterministic register automata, but much better suited for modeling in practice since we lift many of the restrictions on the way variables can be accesed and stored: this allows our automata to be significantly more succinct than previously proposed canonical forms. Key to the canonical form is a symbolic treatment of data languages, which allows us to construct minimal representations whenever the set of relations can be equipped with a so-called branching framework." @default.
- W171034154 created "2016-06-24" @default.
- W171034154 creator A5009514870 @default.
- W171034154 creator A5037058130 @default.
- W171034154 creator A5066183247 @default.
- W171034154 creator A5078808456 @default.
- W171034154 date "2012-01-01" @default.
- W171034154 modified "2023-10-18" @default.
- W171034154 title "A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations" @default.
- W171034154 cites W100976464 @default.
- W171034154 cites W1542510688 @default.
- W171034154 cites W1580943896 @default.
- W171034154 cites W1607529814 @default.
- W171034154 cites W1883667652 @default.
- W171034154 cites W1969005071 @default.
- W171034154 cites W1989445634 @default.
- W171034154 cites W1992294445 @default.
- W171034154 cites W1993445050 @default.
- W171034154 cites W2021473546 @default.
- W171034154 cites W2068361557 @default.
- W171034154 cites W2073614038 @default.
- W171034154 cites W2081396910 @default.
- W171034154 cites W2088432971 @default.
- W171034154 cites W2101508170 @default.
- W171034154 cites W2122676216 @default.
- W171034154 cites W2140606869 @default.
- W171034154 cites W2145576118 @default.
- W171034154 cites W2163310156 @default.
- W171034154 doi "https://doi.org/10.1007/978-3-642-33386-6_6" @default.
- W171034154 hasPublicationYear "2012" @default.
- W171034154 type Work @default.
- W171034154 sameAs 171034154 @default.
- W171034154 citedByCount "10" @default.
- W171034154 countsByYear W1710341542012 @default.
- W171034154 countsByYear W1710341542014 @default.
- W171034154 countsByYear W1710341542015 @default.
- W171034154 countsByYear W1710341542018 @default.
- W171034154 countsByYear W1710341542021 @default.
- W171034154 countsByYear W1710341542022 @default.
- W171034154 crossrefType "book-chapter" @default.
- W171034154 hasAuthorship W171034154A5009514870 @default.
- W171034154 hasAuthorship W171034154A5037058130 @default.
- W171034154 hasAuthorship W171034154A5066183247 @default.
- W171034154 hasAuthorship W171034154A5078808456 @default.
- W171034154 hasConcept C112505250 @default.
- W171034154 hasConcept C11413529 @default.
- W171034154 hasConcept C118615104 @default.
- W171034154 hasConcept C124101348 @default.
- W171034154 hasConcept C139002025 @default.
- W171034154 hasConcept C165464430 @default.
- W171034154 hasConcept C165753454 @default.
- W171034154 hasConcept C194525867 @default.
- W171034154 hasConcept C202444582 @default.
- W171034154 hasConcept C204707403 @default.
- W171034154 hasConcept C33923547 @default.
- W171034154 hasConcept C41008148 @default.
- W171034154 hasConcept C65180967 @default.
- W171034154 hasConcept C80444323 @default.
- W171034154 hasConceptScore W171034154C112505250 @default.
- W171034154 hasConceptScore W171034154C11413529 @default.
- W171034154 hasConceptScore W171034154C118615104 @default.
- W171034154 hasConceptScore W171034154C124101348 @default.
- W171034154 hasConceptScore W171034154C139002025 @default.
- W171034154 hasConceptScore W171034154C165464430 @default.
- W171034154 hasConceptScore W171034154C165753454 @default.
- W171034154 hasConceptScore W171034154C194525867 @default.
- W171034154 hasConceptScore W171034154C202444582 @default.
- W171034154 hasConceptScore W171034154C204707403 @default.
- W171034154 hasConceptScore W171034154C33923547 @default.
- W171034154 hasConceptScore W171034154C41008148 @default.
- W171034154 hasConceptScore W171034154C65180967 @default.
- W171034154 hasConceptScore W171034154C80444323 @default.
- W171034154 hasLocation W1710341541 @default.
- W171034154 hasLocation W1710341542 @default.
- W171034154 hasOpenAccess W171034154 @default.
- W171034154 hasPrimaryLocation W1710341541 @default.
- W171034154 hasRelatedWork W1976043843 @default.
- W171034154 hasRelatedWork W1986238652 @default.
- W171034154 hasRelatedWork W2011576657 @default.
- W171034154 hasRelatedWork W2120347230 @default.
- W171034154 hasRelatedWork W2144361014 @default.
- W171034154 hasRelatedWork W2157637221 @default.
- W171034154 hasRelatedWork W2216182229 @default.
- W171034154 hasRelatedWork W2296684448 @default.
- W171034154 hasRelatedWork W2587737670 @default.
- W171034154 hasRelatedWork W2585381885 @default.
- W171034154 isParatext "false" @default.
- W171034154 isRetracted "false" @default.
- W171034154 magId "171034154" @default.
- W171034154 workType "book-chapter" @default.