Matches in SemOpenAlex for { <https://semopenalex.org/work/W2902618432> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2902618432 endingPage "228" @default.
- W2902618432 startingPage "217" @default.
- W2902618432 abstract "Convergence of an abstract reduction system is the property that the possible derivations from a given initial state all end in the same final state. Relaxing this by “modulo equivalence” means that these final states need not be identical, only equivalent wrt. a specified equivalence relation. We generalize this notion for probabilistic abstract reduction systems, naming it almost-sure convergence modulo equivalence, such that the final states are reached with probability 1. We relate it to the well-studied properties of almost-sure termination and confluence/convergence of probabilistic and non-probabilistic systems. In addition, we provide a transformational approach for proving – or disproving – almost-sure convergence modulo equivalence of given systems." @default.
- W2902618432 created "2018-12-11" @default.
- W2902618432 creator A5021255849 @default.
- W2902618432 creator A5034230236 @default.
- W2902618432 date "2019-02-01" @default.
- W2902618432 modified "2023-10-16" @default.
- W2902618432 title "Confluence and convergence modulo equivalence in probabilistically terminating reduction systems" @default.
- W2902618432 cites W1979101142 @default.
- W2902618432 cites W2041934467 @default.
- W2902618432 cites W2086727636 @default.
- W2902618432 cites W2091188761 @default.
- W2902618432 cites W2323378191 @default.
- W2902618432 cites W3099526688 @default.
- W2902618432 doi "https://doi.org/10.1016/j.ijar.2018.11.018" @default.
- W2902618432 hasPublicationYear "2019" @default.
- W2902618432 type Work @default.
- W2902618432 sameAs 2902618432 @default.
- W2902618432 citedByCount "2" @default.
- W2902618432 countsByYear W29026184322018 @default.
- W2902618432 countsByYear W29026184322019 @default.
- W2902618432 crossrefType "journal-article" @default.
- W2902618432 hasAuthorship W2902618432A5021255849 @default.
- W2902618432 hasAuthorship W2902618432A5034230236 @default.
- W2902618432 hasBestOaLocation W29026184321 @default.
- W2902618432 hasConcept C111335779 @default.
- W2902618432 hasConcept C118615104 @default.
- W2902618432 hasConcept C159333733 @default.
- W2902618432 hasConcept C162324750 @default.
- W2902618432 hasConcept C199360897 @default.
- W2902618432 hasConcept C2524010 @default.
- W2902618432 hasConcept C2777303404 @default.
- W2902618432 hasConcept C2780069185 @default.
- W2902618432 hasConcept C33923547 @default.
- W2902618432 hasConcept C41008148 @default.
- W2902618432 hasConcept C50522688 @default.
- W2902618432 hasConcept C54732982 @default.
- W2902618432 hasConcept C77906462 @default.
- W2902618432 hasConceptScore W2902618432C111335779 @default.
- W2902618432 hasConceptScore W2902618432C118615104 @default.
- W2902618432 hasConceptScore W2902618432C159333733 @default.
- W2902618432 hasConceptScore W2902618432C162324750 @default.
- W2902618432 hasConceptScore W2902618432C199360897 @default.
- W2902618432 hasConceptScore W2902618432C2524010 @default.
- W2902618432 hasConceptScore W2902618432C2777303404 @default.
- W2902618432 hasConceptScore W2902618432C2780069185 @default.
- W2902618432 hasConceptScore W2902618432C33923547 @default.
- W2902618432 hasConceptScore W2902618432C41008148 @default.
- W2902618432 hasConceptScore W2902618432C50522688 @default.
- W2902618432 hasConceptScore W2902618432C54732982 @default.
- W2902618432 hasConceptScore W2902618432C77906462 @default.
- W2902618432 hasLocation W29026184321 @default.
- W2902618432 hasLocation W29026184322 @default.
- W2902618432 hasOpenAccess W2902618432 @default.
- W2902618432 hasPrimaryLocation W29026184321 @default.
- W2902618432 hasRelatedWork W1489181544 @default.
- W2902618432 hasRelatedWork W2129495011 @default.
- W2902618432 hasRelatedWork W2150698393 @default.
- W2902618432 hasRelatedWork W2165864553 @default.
- W2902618432 hasRelatedWork W2803604491 @default.
- W2902618432 hasRelatedWork W2902618432 @default.
- W2902618432 hasRelatedWork W2963648492 @default.
- W2902618432 hasRelatedWork W4300829766 @default.
- W2902618432 hasRelatedWork W4312716460 @default.
- W2902618432 hasRelatedWork W832410335 @default.
- W2902618432 hasVolume "105" @default.
- W2902618432 isParatext "false" @default.
- W2902618432 isRetracted "false" @default.
- W2902618432 magId "2902618432" @default.
- W2902618432 workType "article" @default.