Matches in SemOpenAlex for { <https://semopenalex.org/work/W2884607592> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2884607592 startingPage "16" @default.
- W2884607592 abstract "Population protocols (Angluin et al., 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.In a previous paper we have shown that the problem whether a given protocol is well-specified and the problem whether it computes a given predicate are decidable. However, in the same paper we prove that both problems are at least as hard as the reachability problem for Petri nets. Since all known algorithms for Petri net reachability have non-primitive recursive complexity, in this paper we restrict attention to immediate observation (IO) population protocols, a class introduced and studied in (Angluin et al., PODC, 2006). We show that both problems are solvable in exponential space for IO protocols. This is the first syntactically defined, interesting class of protocols for which an algorithm not requiring Petri net reachability is found." @default.
- W2884607592 created "2018-08-03" @default.
- W2884607592 creator A5030085363 @default.
- W2884607592 creator A5058790419 @default.
- W2884607592 creator A5081010207 @default.
- W2884607592 creator A5090378914 @default.
- W2884607592 date "2018-07-01" @default.
- W2884607592 modified "2023-09-23" @default.
- W2884607592 title "Verification of Immediate Observation Population Protocols" @default.
- W2884607592 doi "https://doi.org/10.4230/lipics.concur.2018.31" @default.
- W2884607592 hasPublicationYear "2018" @default.
- W2884607592 type Work @default.
- W2884607592 sameAs 2884607592 @default.
- W2884607592 citedByCount "3" @default.
- W2884607592 countsByYear W28846075922019 @default.
- W2884607592 countsByYear W28846075922021 @default.
- W2884607592 countsByYear W28846075922022 @default.
- W2884607592 crossrefType "proceedings-article" @default.
- W2884607592 hasAuthorship W2884607592A5030085363 @default.
- W2884607592 hasAuthorship W2884607592A5058790419 @default.
- W2884607592 hasAuthorship W2884607592A5081010207 @default.
- W2884607592 hasAuthorship W2884607592A5090378914 @default.
- W2884607592 hasConcept C11413529 @default.
- W2884607592 hasConcept C120314980 @default.
- W2884607592 hasConcept C136643341 @default.
- W2884607592 hasConcept C140146324 @default.
- W2884607592 hasConcept C142724271 @default.
- W2884607592 hasConcept C144024400 @default.
- W2884607592 hasConcept C149923435 @default.
- W2884607592 hasConcept C153269930 @default.
- W2884607592 hasConcept C199360897 @default.
- W2884607592 hasConcept C204787440 @default.
- W2884607592 hasConcept C2777669093 @default.
- W2884607592 hasConcept C2780385302 @default.
- W2884607592 hasConcept C2908647359 @default.
- W2884607592 hasConcept C38677869 @default.
- W2884607592 hasConcept C41008148 @default.
- W2884607592 hasConcept C45374587 @default.
- W2884607592 hasConcept C71924100 @default.
- W2884607592 hasConcept C80444323 @default.
- W2884607592 hasConceptScore W2884607592C11413529 @default.
- W2884607592 hasConceptScore W2884607592C120314980 @default.
- W2884607592 hasConceptScore W2884607592C136643341 @default.
- W2884607592 hasConceptScore W2884607592C140146324 @default.
- W2884607592 hasConceptScore W2884607592C142724271 @default.
- W2884607592 hasConceptScore W2884607592C144024400 @default.
- W2884607592 hasConceptScore W2884607592C149923435 @default.
- W2884607592 hasConceptScore W2884607592C153269930 @default.
- W2884607592 hasConceptScore W2884607592C199360897 @default.
- W2884607592 hasConceptScore W2884607592C204787440 @default.
- W2884607592 hasConceptScore W2884607592C2777669093 @default.
- W2884607592 hasConceptScore W2884607592C2780385302 @default.
- W2884607592 hasConceptScore W2884607592C2908647359 @default.
- W2884607592 hasConceptScore W2884607592C38677869 @default.
- W2884607592 hasConceptScore W2884607592C41008148 @default.
- W2884607592 hasConceptScore W2884607592C45374587 @default.
- W2884607592 hasConceptScore W2884607592C71924100 @default.
- W2884607592 hasConceptScore W2884607592C80444323 @default.
- W2884607592 hasLocation W28846075921 @default.
- W2884607592 hasOpenAccess W2884607592 @default.
- W2884607592 hasPrimaryLocation W28846075921 @default.
- W2884607592 hasRelatedWork W123657170 @default.
- W2884607592 hasRelatedWork W1496894532 @default.
- W2884607592 hasRelatedWork W1579190584 @default.
- W2884607592 hasRelatedWork W2063156356 @default.
- W2884607592 hasRelatedWork W2078562310 @default.
- W2884607592 hasRelatedWork W2123429492 @default.
- W2884607592 hasRelatedWork W2274165758 @default.
- W2884607592 hasRelatedWork W2280864594 @default.
- W2884607592 hasRelatedWork W2912654482 @default.
- W2884607592 hasRelatedWork W2949390856 @default.
- W2884607592 hasRelatedWork W2950321104 @default.
- W2884607592 hasRelatedWork W2963620995 @default.
- W2884607592 hasRelatedWork W2976362259 @default.
- W2884607592 hasRelatedWork W2995348381 @default.
- W2884607592 hasRelatedWork W3001378189 @default.
- W2884607592 hasRelatedWork W3028690307 @default.
- W2884607592 hasRelatedWork W3095895296 @default.
- W2884607592 hasRelatedWork W3191669108 @default.
- W2884607592 hasRelatedWork W3195365374 @default.
- W2884607592 hasRelatedWork W821240578 @default.
- W2884607592 isParatext "false" @default.
- W2884607592 isRetracted "false" @default.
- W2884607592 magId "2884607592" @default.
- W2884607592 workType "article" @default.