FRINK Linked Data Fragments server

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

• W152809744 endingPage "148" @default.
• W152809744 startingPage "134" @default.
• W152809744 abstract "We study verification problems for a model of network with the following characteristics: the number of entities is parametric, communication is performed through broadcast with adjacent neighbors, entities can change their internal state probabilistically and reconfiguration of the communication topology can happen at any time. The semantics of such a model is given in term of an infinite state system with both non deterministic and probabilistic choices. We are interested in qualitative problems like whether there exists an initial topology and a resolution of the non determinism such that a configuration exhibiting an error state is almost surely reached. We show that all the qualitative reachability problems are decidable and some proofs are based on solving a 2 player game played on the graphs of a reconfigurable network with broadcast with parity and safety objectives." @default.
• W152809744 created "2016-06-24" @default.
• W152809744 creator A5019307337 @default.
• W152809744 creator A5040637644 @default.
• W152809744 creator A5061856900 @default.
• W152809744 date "2014-01-01" @default.
• W152809744 modified "2023-10-15" @default.
• W152809744 title "Playing with Probabilities in Reconfigurable Broadcast Networks" @default.
• W152809744 cites W1482647296 @default.
• W152809744 cites W1514415753 @default.
• W152809744 cites W1520747973 @default.
• W152809744 cites W152809744 @default.
• W152809744 cites W1864873123 @default.
• W152809744 cites W1967174286 @default.
• W152809744 cites W1974179433 @default.
• W152809744 cites W2083816928 @default.
• W152809744 cites W2096608485 @default.
• W152809744 cites W2138467892 @default.
• W152809744 cites W2149493230 @default.
• W152809744 cites W2951341530 @default.
• W152809744 doi "https://doi.org/10.1007/978-3-642-54830-7_9" @default.
• W152809744 hasPublicationYear "2014" @default.
• W152809744 type Work @default.
• W152809744 sameAs 152809744 @default.
• W152809744 citedByCount "17" @default.
• W152809744 countsByYear W1528097442014 @default.
• W152809744 countsByYear W1528097442015 @default.
• W152809744 countsByYear W1528097442016 @default.
• W152809744 countsByYear W1528097442017 @default.
• W152809744 countsByYear W1528097442018 @default.
• W152809744 countsByYear W1528097442019 @default.
• W152809744 countsByYear W1528097442020 @default.
• W152809744 countsByYear W1528097442021 @default.
• W152809744 countsByYear W1528097442022 @default.
• W152809744 crossrefType "book-chapter" @default.
• W152809744 hasAuthorship W152809744A5019307337 @default.
• W152809744 hasAuthorship W152809744A5040637644 @default.
• W152809744 hasAuthorship W152809744A5061856900 @default.
• W152809744 hasBestOaLocation W1528097441 @default.
• W152809744 hasConcept C105795698 @default.
• W152809744 hasConcept C108710211 @default.
• W152809744 hasConcept C110157686 @default.
• W152809744 hasConcept C11413529 @default.
• W152809744 hasConcept C114529192 @default.
• W152809744 hasConcept C114614502 @default.
• W152809744 hasConcept C117251300 @default.
• W152809744 hasConcept C119701452 @default.
• W152809744 hasConcept C120314980 @default.
• W152809744 hasConcept C136643341 @default.
• W152809744 hasConcept C149635348 @default.
• W152809744 hasConcept C153269930 @default.
• W152809744 hasConcept C154945302 @default.
• W152809744 hasConcept C158379750 @default.
• W152809744 hasConcept C184720557 @default.
• W152809744 hasConcept C2524010 @default.
• W152809744 hasConcept C31258907 @default.
• W152809744 hasConcept C33923547 @default.
• W152809744 hasConcept C41008148 @default.
• W152809744 hasConcept C48103436 @default.
• W152809744 hasConcept C49937458 @default.
• W152809744 hasConcept C80444323 @default.
• W152809744 hasConcept C943373 @default.
• W152809744 hasConceptScore W152809744C105795698 @default.
• W152809744 hasConceptScore W152809744C108710211 @default.
• W152809744 hasConceptScore W152809744C110157686 @default.
• W152809744 hasConceptScore W152809744C11413529 @default.
• W152809744 hasConceptScore W152809744C114529192 @default.
• W152809744 hasConceptScore W152809744C114614502 @default.
• W152809744 hasConceptScore W152809744C117251300 @default.
• W152809744 hasConceptScore W152809744C119701452 @default.
• W152809744 hasConceptScore W152809744C120314980 @default.
• W152809744 hasConceptScore W152809744C136643341 @default.
• W152809744 hasConceptScore W152809744C149635348 @default.
• W152809744 hasConceptScore W152809744C153269930 @default.
• W152809744 hasConceptScore W152809744C154945302 @default.
• W152809744 hasConceptScore W152809744C158379750 @default.
• W152809744 hasConceptScore W152809744C184720557 @default.
• W152809744 hasConceptScore W152809744C2524010 @default.
• W152809744 hasConceptScore W152809744C31258907 @default.
• W152809744 hasConceptScore W152809744C33923547 @default.
• W152809744 hasConceptScore W152809744C41008148 @default.
• W152809744 hasConceptScore W152809744C48103436 @default.
• W152809744 hasConceptScore W152809744C49937458 @default.
• W152809744 hasConceptScore W152809744C80444323 @default.
• W152809744 hasConceptScore W152809744C943373 @default.
• W152809744 hasLocation W1528097441 @default.
• W152809744 hasLocation W1528097442 @default.
• W152809744 hasLocation W1528097443 @default.
• W152809744 hasLocation W1528097444 @default.
• W152809744 hasLocation W1528097445 @default.
• W152809744 hasOpenAccess W152809744 @default.
• W152809744 hasPrimaryLocation W1528097441 @default.
• W152809744 hasRelatedWork W1563422794 @default.
• W152809744 hasRelatedWork W1989788631 @default.
• W152809744 hasRelatedWork W1999231617 @default.
• W152809744 hasRelatedWork W2032269072 @default.
• W152809744 hasRelatedWork W2060144422 @default.
• W152809744 hasRelatedWork W2150468037 @default.

• next