FRINK Linked Data Fragments server

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

• W2963613156 abstract "In this paper, we introduce an SMT-based method that automaticallysynthesizes a distributed self-stabilizing protocol from a given high-levelspecification and network topology. Unlike existing approaches, where synthesisalgorithms require the explicit description of the set of legitimate states,our technique only needs the temporal behavior of the protocol. We extend ourapproach to synthesize ideal-stabilizing protocols, where every state islegitimate. We also extend our technique to synthesize monotonic-stabilizingprotocols, where during recovery, each process can execute an most once oneaction. Our proposed methods are fully implemented and we report successfulsynthesis of well-known protocols such as Dijkstra's token ring, aself-stabilizing version of Raymond's mutual exclusion algorithm,ideal-stabilizing leader election and local mutual exclusion, as well asmonotonic-stabilizing maximal independent set and distributed Grundy coloring." @default.
• W2963613156 created "2019-07-30" @default.
• W2963613156 creator A5008486466 @default.
• W2963613156 creator A5011331492 @default.
• W2963613156 creator A5072787717 @default.
• W2963613156 creator A5073883755 @default.
• W2963613156 date "2018-01-30" @default.
• W2963613156 modified "2023-09-27" @default.
• W2963613156 title "Automated Synthesis of Distributed Self-Stabilizing Protocols" @default.
• W2963613156 hasPublicationYear "2018" @default.
• W2963613156 type Work @default.
• W2963613156 sameAs 2963613156 @default.
• W2963613156 citedByCount "0" @default.
• W2963613156 crossrefType "journal-article" @default.
• W2963613156 hasAuthorship W2963613156A5008486466 @default.
• W2963613156 hasAuthorship W2963613156A5011331492 @default.
• W2963613156 hasAuthorship W2963613156A5072787717 @default.
• W2963613156 hasAuthorship W2963613156A5073883755 @default.
• W2963613156 hasConcept C111472728 @default.
• W2963613156 hasConcept C11413529 @default.
• W2963613156 hasConcept C114614502 @default.
• W2963613156 hasConcept C120314980 @default.
• W2963613156 hasConcept C130120984 @default.
• W2963613156 hasConcept C132525143 @default.
• W2963613156 hasConcept C134306372 @default.
• W2963613156 hasConcept C138885662 @default.
• W2963613156 hasConcept C142724271 @default.
• W2963613156 hasConcept C173870130 @default.
• W2963613156 hasConcept C177264268 @default.
• W2963613156 hasConcept C184720557 @default.
• W2963613156 hasConcept C18664526 @default.
• W2963613156 hasConcept C199360897 @default.
• W2963613156 hasConcept C204787440 @default.
• W2963613156 hasConcept C22590252 @default.
• W2963613156 hasConcept C2776639384 @default.
• W2963613156 hasConcept C2780385302 @default.
• W2963613156 hasConcept C31258907 @default.
• W2963613156 hasConcept C33923547 @default.
• W2963613156 hasConcept C36653544 @default.
• W2963613156 hasConcept C41008148 @default.
• W2963613156 hasConcept C48103436 @default.
• W2963613156 hasConcept C48145219 @default.
• W2963613156 hasConcept C53480672 @default.
• W2963613156 hasConcept C56348326 @default.
• W2963613156 hasConcept C71112949 @default.
• W2963613156 hasConcept C71924100 @default.
• W2963613156 hasConcept C72169020 @default.
• W2963613156 hasConcept C80444323 @default.
• W2963613156 hasConceptScore W2963613156C111472728 @default.
• W2963613156 hasConceptScore W2963613156C11413529 @default.
• W2963613156 hasConceptScore W2963613156C114614502 @default.
• W2963613156 hasConceptScore W2963613156C120314980 @default.
• W2963613156 hasConceptScore W2963613156C130120984 @default.
• W2963613156 hasConceptScore W2963613156C132525143 @default.
• W2963613156 hasConceptScore W2963613156C134306372 @default.
• W2963613156 hasConceptScore W2963613156C138885662 @default.
• W2963613156 hasConceptScore W2963613156C142724271 @default.
• W2963613156 hasConceptScore W2963613156C173870130 @default.
• W2963613156 hasConceptScore W2963613156C177264268 @default.
• W2963613156 hasConceptScore W2963613156C184720557 @default.
• W2963613156 hasConceptScore W2963613156C18664526 @default.
• W2963613156 hasConceptScore W2963613156C199360897 @default.
• W2963613156 hasConceptScore W2963613156C204787440 @default.
• W2963613156 hasConceptScore W2963613156C22590252 @default.
• W2963613156 hasConceptScore W2963613156C2776639384 @default.
• W2963613156 hasConceptScore W2963613156C2780385302 @default.
• W2963613156 hasConceptScore W2963613156C31258907 @default.
• W2963613156 hasConceptScore W2963613156C33923547 @default.
• W2963613156 hasConceptScore W2963613156C36653544 @default.
• W2963613156 hasConceptScore W2963613156C41008148 @default.
• W2963613156 hasConceptScore W2963613156C48103436 @default.
• W2963613156 hasConceptScore W2963613156C48145219 @default.
• W2963613156 hasConceptScore W2963613156C53480672 @default.
• W2963613156 hasConceptScore W2963613156C56348326 @default.
• W2963613156 hasConceptScore W2963613156C71112949 @default.
• W2963613156 hasConceptScore W2963613156C71924100 @default.
• W2963613156 hasConceptScore W2963613156C72169020 @default.
• W2963613156 hasConceptScore W2963613156C80444323 @default.
• W2963613156 hasLocation W29636131561 @default.
• W2963613156 hasOpenAccess W2963613156 @default.
• W2963613156 hasPrimaryLocation W29636131561 @default.
• W2963613156 hasRelatedWork W119314635 @default.
• W2963613156 hasRelatedWork W1804170165 @default.
• W2963613156 hasRelatedWork W1971233424 @default.
• W2963613156 hasRelatedWork W2022430350 @default.
• W2963613156 hasRelatedWork W2043744164 @default.
• W2963613156 hasRelatedWork W2067901504 @default.
• W2963613156 hasRelatedWork W2074810448 @default.
• W2963613156 hasRelatedWork W2091682271 @default.
• W2963613156 hasRelatedWork W2119318510 @default.
• W2963613156 hasRelatedWork W2128239956 @default.
• W2963613156 hasRelatedWork W2498046466 @default.
• W2963613156 hasRelatedWork W2565115662 @default.
• W2963613156 hasRelatedWork W2735706731 @default.
• W2963613156 hasRelatedWork W2765883112 @default.
• W2963613156 hasRelatedWork W2807205054 @default.
• W2963613156 hasRelatedWork W2951077292 @default.
• W2963613156 hasRelatedWork W2982681776 @default.
• W2963613156 hasRelatedWork W2995194729 @default.
• W2963613156 hasRelatedWork W3130441355 @default.

• next