Matches in SemOpenAlex for { <https://semopenalex.org/work/W196034679> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W196034679 abstract "In this paper we formally verify that the Uniform Candy Distribution Puzzle is self-stabilizing: Given a valid start configuration, eventually the Puzzle will evolve to a ‘stable’ situation in which it will remain. In terms of verification, the Uniform Candy Distribution Puzzle forms a scalable parametrized distributed system: The Puzzle comes in various sizes, for each size of the Puzzle there are infinitely many valid start configurations, the Puzzle evolves following local rule applications. We describe how to model the Uniform Candy Distribution Puzzle in the process algebra CSP, give a mathematical argument for its self-stabilizing property, and formalize the proof with the interactive theorem prover CSP-Prover." @default.
- W196034679 created "2016-06-24" @default.
- W196034679 creator A5042230213 @default.
- W196034679 creator A5052756595 @default.
- W196034679 date "2008-01-01" @default.
- W196034679 modified "2023-10-18" @default.
- W196034679 title "Verifying the uniform candy distribution puzzle with CSP Prover" @default.
- W196034679 cites W1503170978 @default.
- W196034679 cites W1534850143 @default.
- W196034679 cites W1539432158 @default.
- W196034679 cites W1588668163 @default.
- W196034679 cites W1623229847 @default.
- W196034679 cites W2129384397 @default.
- W196034679 cites W3144368627 @default.
- W196034679 cites W579363326 @default.
- W196034679 cites W1574924379 @default.
- W196034679 cites W2583561269 @default.
- W196034679 cites W2584449131 @default.
- W196034679 cites W2585960154 @default.
- W196034679 cites W3142790043 @default.
- W196034679 hasPublicationYear "2008" @default.
- W196034679 type Work @default.
- W196034679 sameAs 196034679 @default.
- W196034679 citedByCount "1" @default.
- W196034679 crossrefType "book-chapter" @default.
- W196034679 hasAuthorship W196034679A5042230213 @default.
- W196034679 hasAuthorship W196034679A5052756595 @default.
- W196034679 hasConcept C105795698 @default.
- W196034679 hasConcept C108710211 @default.
- W196034679 hasConcept C108882938 @default.
- W196034679 hasConcept C110121322 @default.
- W196034679 hasConcept C111472728 @default.
- W196034679 hasConcept C134306372 @default.
- W196034679 hasConcept C138885662 @default.
- W196034679 hasConcept C159718280 @default.
- W196034679 hasConcept C189950617 @default.
- W196034679 hasConcept C199343813 @default.
- W196034679 hasConcept C206880738 @default.
- W196034679 hasConcept C2524010 @default.
- W196034679 hasConcept C2777686260 @default.
- W196034679 hasConcept C33923547 @default.
- W196034679 hasConcept C41008148 @default.
- W196034679 hasConcept C48044578 @default.
- W196034679 hasConcept C71924100 @default.
- W196034679 hasConcept C77088390 @default.
- W196034679 hasConcept C80444323 @default.
- W196034679 hasConceptScore W196034679C105795698 @default.
- W196034679 hasConceptScore W196034679C108710211 @default.
- W196034679 hasConceptScore W196034679C108882938 @default.
- W196034679 hasConceptScore W196034679C110121322 @default.
- W196034679 hasConceptScore W196034679C111472728 @default.
- W196034679 hasConceptScore W196034679C134306372 @default.
- W196034679 hasConceptScore W196034679C138885662 @default.
- W196034679 hasConceptScore W196034679C159718280 @default.
- W196034679 hasConceptScore W196034679C189950617 @default.
- W196034679 hasConceptScore W196034679C199343813 @default.
- W196034679 hasConceptScore W196034679C206880738 @default.
- W196034679 hasConceptScore W196034679C2524010 @default.
- W196034679 hasConceptScore W196034679C2777686260 @default.
- W196034679 hasConceptScore W196034679C33923547 @default.
- W196034679 hasConceptScore W196034679C41008148 @default.
- W196034679 hasConceptScore W196034679C48044578 @default.
- W196034679 hasConceptScore W196034679C71924100 @default.
- W196034679 hasConceptScore W196034679C77088390 @default.
- W196034679 hasConceptScore W196034679C80444323 @default.
- W196034679 hasLocation W1960346791 @default.
- W196034679 hasOpenAccess W196034679 @default.
- W196034679 hasPrimaryLocation W1960346791 @default.
- W196034679 hasRelatedWork W1315694 @default.
- W196034679 hasRelatedWork W1489937864 @default.
- W196034679 hasRelatedWork W1518885648 @default.
- W196034679 hasRelatedWork W158468099 @default.
- W196034679 hasRelatedWork W1851263206 @default.
- W196034679 hasRelatedWork W1929859906 @default.
- W196034679 hasRelatedWork W2023055783 @default.
- W196034679 hasRelatedWork W2031441199 @default.
- W196034679 hasRelatedWork W2074272702 @default.
- W196034679 hasRelatedWork W2159995990 @default.
- W196034679 hasRelatedWork W2184297850 @default.
- W196034679 hasRelatedWork W2497855683 @default.
- W196034679 hasRelatedWork W2566245743 @default.
- W196034679 hasRelatedWork W2735287568 @default.
- W196034679 hasRelatedWork W2787389506 @default.
- W196034679 hasRelatedWork W2953092756 @default.
- W196034679 hasRelatedWork W2970969247 @default.
- W196034679 hasRelatedWork W2997144835 @default.
- W196034679 hasRelatedWork W3194642185 @default.
- W196034679 hasRelatedWork W74317754 @default.
- W196034679 isParatext "false" @default.
- W196034679 isRetracted "false" @default.
- W196034679 magId "196034679" @default.
- W196034679 workType "book-chapter" @default.