FRINK Linked Data Fragments server

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

• W2282105004 endingPage "39" @default.
• W2282105004 startingPage "1" @default.
• W2282105004 abstract "A distributed database system often operates in an asynchronous communication model where messages can be arbitrarily delayed. This communication model causes nondeterministic effects like unpredictable arrival orders of messages. Nonetheless, in general we want the distributed system to be deterministic; the system should produce the same output despite the nondeterministic effects on messages. Previously, two interpretations of determinism have been proposed. The first says that all infinite fair computation traces produce the same output. The second interpretation is a confluence notion, saying that all finite computation traces can still be extended to produce the same output. A decidability result for the confluence notion was previously obtained for so-called simple transducer networks, a model from the field of declarative networking. In the current article, we also present a decidability result for simple transducer networks, but this time for the first interpretation of determinism, with infinite fair computation traces. We also compare the expressivity of simple transducer networks under both interpretations." @default.
• W2282105004 created "2016-06-24" @default.
• W2282105004 creator A5008206932 @default.
• W2282105004 date "2015-06-30" @default.
• W2282105004 modified "2023-09-27" @default.
• W2282105004 title "Deciding Determinism with Fairness for Simple Transducer Networks" @default.
• W2282105004 cites W1516319412 @default.
• W2282105004 cites W1581526951 @default.
• W2282105004 cites W1971962972 @default.
• W2282105004 cites W1979514837 @default.
• W2282105004 cites W1989877393 @default.
• W2282105004 cites W2001995757 @default.
• W2282105004 cites W2008199814 @default.
• W2282105004 cites W2028980140 @default.
• W2282105004 cites W2068157519 @default.
• W2282105004 cites W2071588600 @default.
• W2282105004 cites W2077542434 @default.
• W2282105004 cites W2091090133 @default.
• W2282105004 cites W2106355650 @default.
• W2282105004 cites W2118612179 @default.
• W2282105004 cites W2127546784 @default.
• W2282105004 cites W2129687134 @default.
• W2282105004 cites W2131646073 @default.
• W2282105004 cites W2136575791 @default.
• W2282105004 cites W2161956202 @default.
• W2282105004 cites W2163087774 @default.
• W2282105004 cites W2163133050 @default.
• W2282105004 cites W2167845698 @default.
• W2282105004 cites W2341655714 @default.
• W2282105004 cites W2633545396 @default.
• W2282105004 cites W2999181646 @default.
• W2282105004 cites W3083316372 @default.
• W2282105004 cites W4212985172 @default.
• W2282105004 cites W4240126131 @default.
• W2282105004 cites W4251986490 @default.
• W2282105004 doi "https://doi.org/10.1145/2757215" @default.
• W2282105004 hasPublicationYear "2015" @default.
• W2282105004 type Work @default.
• W2282105004 sameAs 2282105004 @default.
• W2282105004 citedByCount "0" @default.
• W2282105004 crossrefType "journal-article" @default.
• W2282105004 hasAuthorship W2282105004A5008206932 @default.
• W2282105004 hasConcept C111472728 @default.
• W2282105004 hasConcept C11413529 @default.
• W2282105004 hasConcept C120314980 @default.
• W2282105004 hasConcept C121332964 @default.
• W2282105004 hasConcept C138885662 @default.
• W2282105004 hasConcept C151319957 @default.
• W2282105004 hasConcept C153269930 @default.
• W2282105004 hasConcept C176181172 @default.
• W2282105004 hasConcept C192183473 @default.
• W2282105004 hasConcept C199360897 @default.
• W2282105004 hasConcept C2780586882 @default.
• W2282105004 hasConcept C41008148 @default.
• W2282105004 hasConcept C45374587 @default.
• W2282105004 hasConcept C527412718 @default.
• W2282105004 hasConcept C56318395 @default.
• W2282105004 hasConcept C62520636 @default.
• W2282105004 hasConcept C76155785 @default.
• W2282105004 hasConcept C77906462 @default.
• W2282105004 hasConcept C80444323 @default.
• W2282105004 hasConceptScore W2282105004C111472728 @default.
• W2282105004 hasConceptScore W2282105004C11413529 @default.
• W2282105004 hasConceptScore W2282105004C120314980 @default.
• W2282105004 hasConceptScore W2282105004C121332964 @default.
• W2282105004 hasConceptScore W2282105004C138885662 @default.
• W2282105004 hasConceptScore W2282105004C151319957 @default.
• W2282105004 hasConceptScore W2282105004C153269930 @default.
• W2282105004 hasConceptScore W2282105004C176181172 @default.
• W2282105004 hasConceptScore W2282105004C192183473 @default.
• W2282105004 hasConceptScore W2282105004C199360897 @default.
• W2282105004 hasConceptScore W2282105004C2780586882 @default.
• W2282105004 hasConceptScore W2282105004C41008148 @default.
• W2282105004 hasConceptScore W2282105004C45374587 @default.
• W2282105004 hasConceptScore W2282105004C527412718 @default.
• W2282105004 hasConceptScore W2282105004C56318395 @default.
• W2282105004 hasConceptScore W2282105004C62520636 @default.
• W2282105004 hasConceptScore W2282105004C76155785 @default.
• W2282105004 hasConceptScore W2282105004C77906462 @default.
• W2282105004 hasConceptScore W2282105004C80444323 @default.
• W2282105004 hasIssue "2" @default.
• W2282105004 hasLocation W22821050041 @default.
• W2282105004 hasOpenAccess W2282105004 @default.
• W2282105004 hasPrimaryLocation W22821050041 @default.
• W2282105004 hasRelatedWork W1501494652 @default.
• W2282105004 hasRelatedWork W1548320035 @default.
• W2282105004 hasRelatedWork W1561560534 @default.
• W2282105004 hasRelatedWork W192799299 @default.
• W2282105004 hasRelatedWork W2018547143 @default.
• W2282105004 hasRelatedWork W2282105004 @default.
• W2282105004 hasRelatedWork W2313989154 @default.
• W2282105004 hasRelatedWork W2364921833 @default.
• W2282105004 hasRelatedWork W3041089513 @default.
• W2282105004 hasRelatedWork W2565508475 @default.
• W2282105004 hasVolume "40" @default.
• W2282105004 isParatext "false" @default.
• W2282105004 isRetracted "false" @default.
• W2282105004 magId "2282105004" @default.

• next