Matches in SemOpenAlex for { <https://semopenalex.org/work/W1746460710> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1746460710 endingPage "162" @default.
- W1746460710 startingPage "151" @default.
- W1746460710 abstract "One-counter nets (OCN) consist of a nondeterministic finite control and a single integer counter that cannot be fully tested for zero. They form a natural subclass of both One-Counter Automata, which allow zero-tests and Petri Nets/VASS, which allow multiple such weak counters. The trace inclusion problem has recently been shown to be undecidable for OCN. In this paper, we contrast the complexity of two natural restrictions which imply decidability. We show that trace inclusion between a OCN and a deterministic OCN is NL-complete, even with arbitrary binary-encoded initial countervalues as part of the input. Secondly, we show that the the trace universality problem of nondeterministic OCN, which is equivalent to checking trace inclusion between a finite and a OCN-process, is Ackermann-complete." @default.
- W1746460710 created "2016-06-24" @default.
- W1746460710 creator A5060577776 @default.
- W1746460710 creator A5090589200 @default.
- W1746460710 date "2014-01-01" @default.
- W1746460710 modified "2023-10-04" @default.
- W1746460710 title "Trace Inclusion for One-Counter Nets Revisited" @default.
- W1746460710 cites W1494276033 @default.
- W1746460710 cites W1558490143 @default.
- W1746460710 cites W1746460710 @default.
- W1746460710 cites W18618678 @default.
- W1746460710 cites W1991034910 @default.
- W1746460710 cites W2005312844 @default.
- W1746460710 cites W2026927709 @default.
- W1746460710 cites W2083603049 @default.
- W1746460710 cites W2099040330 @default.
- W1746460710 cites W2109548990 @default.
- W1746460710 cites W2115082275 @default.
- W1746460710 cites W2177814128 @default.
- W1746460710 doi "https://doi.org/10.1007/978-3-319-11439-2_12" @default.
- W1746460710 hasPublicationYear "2014" @default.
- W1746460710 type Work @default.
- W1746460710 sameAs 1746460710 @default.
- W1746460710 citedByCount "5" @default.
- W1746460710 countsByYear W17464607102014 @default.
- W1746460710 countsByYear W17464607102020 @default.
- W1746460710 countsByYear W17464607102022 @default.
- W1746460710 countsByYear W17464607102023 @default.
- W1746460710 crossrefType "book-chapter" @default.
- W1746460710 hasAuthorship W1746460710A5060577776 @default.
- W1746460710 hasAuthorship W1746460710A5090589200 @default.
- W1746460710 hasBestOaLocation W17464607102 @default.
- W1746460710 hasConcept C11413529 @default.
- W1746460710 hasConcept C118615104 @default.
- W1746460710 hasConcept C121332964 @default.
- W1746460710 hasConcept C138885662 @default.
- W1746460710 hasConcept C153269930 @default.
- W1746460710 hasConcept C176181172 @default.
- W1746460710 hasConcept C183992945 @default.
- W1746460710 hasConcept C184264201 @default.
- W1746460710 hasConcept C192034797 @default.
- W1746460710 hasConcept C33923547 @default.
- W1746460710 hasConcept C38677869 @default.
- W1746460710 hasConcept C41008148 @default.
- W1746460710 hasConcept C41895202 @default.
- W1746460710 hasConcept C48372109 @default.
- W1746460710 hasConcept C62520636 @default.
- W1746460710 hasConcept C75291252 @default.
- W1746460710 hasConcept C94375191 @default.
- W1746460710 hasConceptScore W1746460710C11413529 @default.
- W1746460710 hasConceptScore W1746460710C118615104 @default.
- W1746460710 hasConceptScore W1746460710C121332964 @default.
- W1746460710 hasConceptScore W1746460710C138885662 @default.
- W1746460710 hasConceptScore W1746460710C153269930 @default.
- W1746460710 hasConceptScore W1746460710C176181172 @default.
- W1746460710 hasConceptScore W1746460710C183992945 @default.
- W1746460710 hasConceptScore W1746460710C184264201 @default.
- W1746460710 hasConceptScore W1746460710C192034797 @default.
- W1746460710 hasConceptScore W1746460710C33923547 @default.
- W1746460710 hasConceptScore W1746460710C38677869 @default.
- W1746460710 hasConceptScore W1746460710C41008148 @default.
- W1746460710 hasConceptScore W1746460710C41895202 @default.
- W1746460710 hasConceptScore W1746460710C48372109 @default.
- W1746460710 hasConceptScore W1746460710C62520636 @default.
- W1746460710 hasConceptScore W1746460710C75291252 @default.
- W1746460710 hasConceptScore W1746460710C94375191 @default.
- W1746460710 hasLocation W17464607101 @default.
- W1746460710 hasLocation W17464607102 @default.
- W1746460710 hasLocation W17464607103 @default.
- W1746460710 hasLocation W17464607104 @default.
- W1746460710 hasLocation W17464607105 @default.
- W1746460710 hasOpenAccess W1746460710 @default.
- W1746460710 hasPrimaryLocation W17464607101 @default.
- W1746460710 hasRelatedWork W1763792348 @default.
- W1746460710 hasRelatedWork W1992428614 @default.
- W1746460710 hasRelatedWork W2036528253 @default.
- W1746460710 hasRelatedWork W2161984463 @default.
- W1746460710 hasRelatedWork W2489809986 @default.
- W1746460710 hasRelatedWork W2604798101 @default.
- W1746460710 hasRelatedWork W2950668706 @default.
- W1746460710 hasRelatedWork W2953085782 @default.
- W1746460710 hasRelatedWork W2144327752 @default.
- W1746460710 hasRelatedWork W2583777943 @default.
- W1746460710 isParatext "false" @default.
- W1746460710 isRetracted "false" @default.
- W1746460710 magId "1746460710" @default.
- W1746460710 workType "book-chapter" @default.