Matches in SemOpenAlex for { <https://semopenalex.org/work/W2424307510> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2424307510 endingPage "215" @default.
- W2424307510 startingPage "191" @default.
- W2424307510 abstract "Population protocols (Angluin et al. in PODC, 2004) are a formal model of sensor networks consisting of identical mobile devices. Two devices can interact and thereby change their states. Computations are infinite sequences of interactions satisfying a strong fairness constraint. A population protocol is well specified if for every initial configuration C of devices, and every computation starting at C, all devices eventually agree on a consensus value depending only on C. If a protocol is well specified, then it is said to compute the predicate that assigns to each initial configuration its consensus value. While the computational power of well-specified protocols has been extensively studied, the two basic verification problems remain open: Is a given protocol well specified? Does a given protocol compute a given predicate? We prove that both problems are decidable by reduction to the reachability problem of Petri nets. We also give a new proof of the fact that the predicates computed by well-defined protocols are those definable in Presburger arithmetic (Angluin et al. in PODC, 2006)." @default.
- W2424307510 created "2016-06-24" @default.
- W2424307510 creator A5014652670 @default.
- W2424307510 creator A5030085363 @default.
- W2424307510 creator A5081010207 @default.
- W2424307510 creator A5090378914 @default.
- W2424307510 date "2016-06-17" @default.
- W2424307510 modified "2023-10-10" @default.
- W2424307510 title "Verification of population protocols" @default.
- W2424307510 cites W1485984823 @default.
- W2424307510 cites W1515421996 @default.
- W2424307510 cites W1547584984 @default.
- W2424307510 cites W1554005697 @default.
- W2424307510 cites W1573401538 @default.
- W2424307510 cites W1579791213 @default.
- W2424307510 cites W1932636156 @default.
- W2424307510 cites W1938261175 @default.
- W2424307510 cites W1964874178 @default.
- W2424307510 cites W1967174286 @default.
- W2424307510 cites W1971435636 @default.
- W2424307510 cites W2006072889 @default.
- W2424307510 cites W2011495892 @default.
- W2424307510 cites W2028974417 @default.
- W2424307510 cites W2061084197 @default.
- W2424307510 cites W2085498384 @default.
- W2424307510 cites W2091275311 @default.
- W2424307510 cites W2092241081 @default.
- W2424307510 cites W2098579316 @default.
- W2424307510 cites W2109405784 @default.
- W2424307510 cites W2116536633 @default.
- W2424307510 cites W2122700562 @default.
- W2424307510 cites W2123429492 @default.
- W2424307510 cites W2123910665 @default.
- W2424307510 cites W2134452184 @default.
- W2424307510 cites W2147269402 @default.
- W2424307510 cites W2706788079 @default.
- W2424307510 cites W2761740776 @default.
- W2424307510 doi "https://doi.org/10.1007/s00236-016-0272-3" @default.
- W2424307510 hasPublicationYear "2016" @default.
- W2424307510 type Work @default.
- W2424307510 sameAs 2424307510 @default.
- W2424307510 citedByCount "40" @default.
- W2424307510 countsByYear W24243075102017 @default.
- W2424307510 countsByYear W24243075102018 @default.
- W2424307510 countsByYear W24243075102019 @default.
- W2424307510 countsByYear W24243075102020 @default.
- W2424307510 countsByYear W24243075102021 @default.
- W2424307510 countsByYear W24243075102022 @default.
- W2424307510 countsByYear W24243075102023 @default.
- W2424307510 crossrefType "journal-article" @default.
- W2424307510 hasAuthorship W2424307510A5014652670 @default.
- W2424307510 hasAuthorship W2424307510A5030085363 @default.
- W2424307510 hasAuthorship W2424307510A5081010207 @default.
- W2424307510 hasAuthorship W2424307510A5090378914 @default.
- W2424307510 hasBestOaLocation W24243075101 @default.
- W2424307510 hasConcept C144024400 @default.
- W2424307510 hasConcept C149923435 @default.
- W2424307510 hasConcept C199360897 @default.
- W2424307510 hasConcept C24858836 @default.
- W2424307510 hasConcept C2908647359 @default.
- W2424307510 hasConcept C38652104 @default.
- W2424307510 hasConcept C41008148 @default.
- W2424307510 hasConceptScore W2424307510C144024400 @default.
- W2424307510 hasConceptScore W2424307510C149923435 @default.
- W2424307510 hasConceptScore W2424307510C199360897 @default.
- W2424307510 hasConceptScore W2424307510C24858836 @default.
- W2424307510 hasConceptScore W2424307510C2908647359 @default.
- W2424307510 hasConceptScore W2424307510C38652104 @default.
- W2424307510 hasConceptScore W2424307510C41008148 @default.
- W2424307510 hasIssue "2" @default.
- W2424307510 hasLocation W24243075101 @default.
- W2424307510 hasLocation W24243075102 @default.
- W2424307510 hasLocation W24243075103 @default.
- W2424307510 hasLocation W24243075104 @default.
- W2424307510 hasOpenAccess W2424307510 @default.
- W2424307510 hasPrimaryLocation W24243075101 @default.
- W2424307510 hasRelatedWork W1988596123 @default.
- W2424307510 hasRelatedWork W1996160459 @default.
- W2424307510 hasRelatedWork W2350741829 @default.
- W2424307510 hasRelatedWork W2358668433 @default.
- W2424307510 hasRelatedWork W2376932109 @default.
- W2424307510 hasRelatedWork W2382290278 @default.
- W2424307510 hasRelatedWork W2390279801 @default.
- W2424307510 hasRelatedWork W2748952813 @default.
- W2424307510 hasRelatedWork W2899084033 @default.
- W2424307510 hasRelatedWork W3003496213 @default.
- W2424307510 hasVolume "54" @default.
- W2424307510 isParatext "false" @default.
- W2424307510 isRetracted "false" @default.
- W2424307510 magId "2424307510" @default.
- W2424307510 workType "article" @default.