Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950571410> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2950571410 abstract "One-counter nets (OCN) are Petri nets with exactly one unbounded place. They are equivalent to a subclass of one-counter automata with only a weak test for zero. We show that weak simulation preorder is decidable for OCN and that weak simulation approximants do not converge at level omega, but only at omega^2. In contrast, other semantic relations like weak bisimulation are undecidable for OCN, and so are weak (and strong) trace inclusion." @default.
- W2950571410 created "2019-06-27" @default.
- W2950571410 creator A5060577776 @default.
- W2950571410 creator A5082358544 @default.
- W2950571410 creator A5090589200 @default.
- W2950571410 date "2013-04-15" @default.
- W2950571410 modified "2023-10-01" @default.
- W2950571410 title "Decidability of Weak Simulation on One-counter Nets" @default.
- W2950571410 cites W121065141 @default.
- W2950571410 cites W1494276033 @default.
- W2950571410 cites W1558490143 @default.
- W2950571410 cites W2026927709 @default.
- W2950571410 cites W2082480798 @default.
- W2950571410 cites W2098601540 @default.
- W2950571410 cites W2124630420 @default.
- W2950571410 hasPublicationYear "2013" @default.
- W2950571410 type Work @default.
- W2950571410 sameAs 2950571410 @default.
- W2950571410 citedByCount "0" @default.
- W2950571410 crossrefType "posted-content" @default.
- W2950571410 hasAuthorship W2950571410A5060577776 @default.
- W2950571410 hasAuthorship W2950571410A5082358544 @default.
- W2950571410 hasAuthorship W2950571410A5090589200 @default.
- W2950571410 hasConcept C11413529 @default.
- W2950571410 hasConcept C114614502 @default.
- W2950571410 hasConcept C118615104 @default.
- W2950571410 hasConcept C121332964 @default.
- W2950571410 hasConcept C136643341 @default.
- W2950571410 hasConcept C138885662 @default.
- W2950571410 hasConcept C153269930 @default.
- W2950571410 hasConcept C192034797 @default.
- W2950571410 hasConcept C2333172 @default.
- W2950571410 hasConcept C24858836 @default.
- W2950571410 hasConcept C2779557605 @default.
- W2950571410 hasConcept C33923547 @default.
- W2950571410 hasConcept C38677869 @default.
- W2950571410 hasConcept C41895202 @default.
- W2950571410 hasConcept C62520636 @default.
- W2950571410 hasConcept C75291252 @default.
- W2950571410 hasConceptScore W2950571410C11413529 @default.
- W2950571410 hasConceptScore W2950571410C114614502 @default.
- W2950571410 hasConceptScore W2950571410C118615104 @default.
- W2950571410 hasConceptScore W2950571410C121332964 @default.
- W2950571410 hasConceptScore W2950571410C136643341 @default.
- W2950571410 hasConceptScore W2950571410C138885662 @default.
- W2950571410 hasConceptScore W2950571410C153269930 @default.
- W2950571410 hasConceptScore W2950571410C192034797 @default.
- W2950571410 hasConceptScore W2950571410C2333172 @default.
- W2950571410 hasConceptScore W2950571410C24858836 @default.
- W2950571410 hasConceptScore W2950571410C2779557605 @default.
- W2950571410 hasConceptScore W2950571410C33923547 @default.
- W2950571410 hasConceptScore W2950571410C38677869 @default.
- W2950571410 hasConceptScore W2950571410C41895202 @default.
- W2950571410 hasConceptScore W2950571410C62520636 @default.
- W2950571410 hasConceptScore W2950571410C75291252 @default.
- W2950571410 hasLocation W29505714101 @default.
- W2950571410 hasOpenAccess W2950571410 @default.
- W2950571410 hasPrimaryLocation W29505714101 @default.
- W2950571410 hasRelatedWork W1507462387 @default.
- W2950571410 hasRelatedWork W1523863449 @default.
- W2950571410 hasRelatedWork W1607294421 @default.
- W2950571410 hasRelatedWork W1618267488 @default.
- W2950571410 hasRelatedWork W1872877151 @default.
- W2950571410 hasRelatedWork W1962883301 @default.
- W2950571410 hasRelatedWork W1965828114 @default.
- W2950571410 hasRelatedWork W1993247717 @default.
- W2950571410 hasRelatedWork W2016293897 @default.
- W2950571410 hasRelatedWork W2087269456 @default.
- W2950571410 hasRelatedWork W2172804096 @default.
- W2950571410 hasRelatedWork W2293300167 @default.
- W2950571410 hasRelatedWork W2339589988 @default.
- W2950571410 hasRelatedWork W2474840350 @default.
- W2950571410 hasRelatedWork W2949206453 @default.
- W2950571410 hasRelatedWork W2961332145 @default.
- W2950571410 hasRelatedWork W2986248253 @default.
- W2950571410 hasRelatedWork W3021404004 @default.
- W2950571410 hasRelatedWork W3042541527 @default.
- W2950571410 hasRelatedWork W3105685616 @default.
- W2950571410 isParatext "false" @default.
- W2950571410 isRetracted "false" @default.
- W2950571410 magId "2950571410" @default.
- W2950571410 workType "article" @default.