Matches in SemOpenAlex for { <https://semopenalex.org/work/W2057623054> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2057623054 endingPage "197" @default.
- W2057623054 startingPage "171" @default.
- W2057623054 abstract "This paper deals with the formal specification and verification of distributed leader election algorithms for a set of machines connected by a unidirectional ring network. Starting from an algorithm proposed by Le Lann in 1977, and its variant proposed by Chang and Roberts in 1979, we study the robustness of these algorithms in the presence of unreliable communication medium and unreliable machines. We propose various improvements of these algorithms in order to obtain a fully fault-tolerant protocol. These algorithms are formally described using the ISO specification language Lotos and verified (for a fixed number of machines) using the Cadp (Cæsar/Aldébaran) toolbox. Using model-checking and bisimulation techniques, the verification of these non-trivial algorithms can be carried out automatically, in a few seconds." @default.
- W2057623054 created "2016-06-24" @default.
- W2057623054 creator A5022400989 @default.
- W2057623054 creator A5026735986 @default.
- W2057623054 date "1997-07-01" @default.
- W2057623054 modified "2023-09-23" @default.
- W2057623054 title "Specification and verification of various distributed leader election algorithms for unidirectional ring networks" @default.
- W2057623054 cites W1967333679 @default.
- W2057623054 cites W1973642705 @default.
- W2057623054 cites W1983743313 @default.
- W2057623054 cites W1994026499 @default.
- W2057623054 cites W2017534864 @default.
- W2057623054 cites W2049618506 @default.
- W2057623054 cites W2068361557 @default.
- W2057623054 cites W2077977516 @default.
- W2057623054 cites W2118570620 @default.
- W2057623054 cites W2121372686 @default.
- W2057623054 cites W2126395320 @default.
- W2057623054 cites W2132107743 @default.
- W2057623054 cites W2132334337 @default.
- W2057623054 doi "https://doi.org/10.1016/s0167-6423(96)00034-2" @default.
- W2057623054 hasPublicationYear "1997" @default.
- W2057623054 type Work @default.
- W2057623054 sameAs 2057623054 @default.
- W2057623054 citedByCount "23" @default.
- W2057623054 countsByYear W20576230542015 @default.
- W2057623054 countsByYear W20576230542016 @default.
- W2057623054 countsByYear W20576230542017 @default.
- W2057623054 countsByYear W20576230542018 @default.
- W2057623054 countsByYear W20576230542020 @default.
- W2057623054 countsByYear W20576230542022 @default.
- W2057623054 crossrefType "journal-article" @default.
- W2057623054 hasAuthorship W2057623054A5022400989 @default.
- W2057623054 hasAuthorship W2057623054A5026735986 @default.
- W2057623054 hasConcept C104317684 @default.
- W2057623054 hasConcept C110251889 @default.
- W2057623054 hasConcept C111498074 @default.
- W2057623054 hasConcept C11413529 @default.
- W2057623054 hasConcept C120314980 @default.
- W2057623054 hasConcept C135315306 @default.
- W2057623054 hasConcept C185592680 @default.
- W2057623054 hasConcept C199360897 @default.
- W2057623054 hasConcept C2777655017 @default.
- W2057623054 hasConcept C41008148 @default.
- W2057623054 hasConcept C53480672 @default.
- W2057623054 hasConcept C55493867 @default.
- W2057623054 hasConcept C63479239 @default.
- W2057623054 hasConcept C75606506 @default.
- W2057623054 hasConcept C80444323 @default.
- W2057623054 hasConceptScore W2057623054C104317684 @default.
- W2057623054 hasConceptScore W2057623054C110251889 @default.
- W2057623054 hasConceptScore W2057623054C111498074 @default.
- W2057623054 hasConceptScore W2057623054C11413529 @default.
- W2057623054 hasConceptScore W2057623054C120314980 @default.
- W2057623054 hasConceptScore W2057623054C135315306 @default.
- W2057623054 hasConceptScore W2057623054C185592680 @default.
- W2057623054 hasConceptScore W2057623054C199360897 @default.
- W2057623054 hasConceptScore W2057623054C2777655017 @default.
- W2057623054 hasConceptScore W2057623054C41008148 @default.
- W2057623054 hasConceptScore W2057623054C53480672 @default.
- W2057623054 hasConceptScore W2057623054C55493867 @default.
- W2057623054 hasConceptScore W2057623054C63479239 @default.
- W2057623054 hasConceptScore W2057623054C75606506 @default.
- W2057623054 hasConceptScore W2057623054C80444323 @default.
- W2057623054 hasIssue "1-2" @default.
- W2057623054 hasLocation W20576230541 @default.
- W2057623054 hasOpenAccess W2057623054 @default.
- W2057623054 hasPrimaryLocation W20576230541 @default.
- W2057623054 hasRelatedWork W174007698 @default.
- W2057623054 hasRelatedWork W2057623054 @default.
- W2057623054 hasRelatedWork W2117798332 @default.
- W2057623054 hasRelatedWork W2156523601 @default.
- W2057623054 hasRelatedWork W2741430969 @default.
- W2057623054 hasRelatedWork W4213079124 @default.
- W2057623054 hasRelatedWork W4296970324 @default.
- W2057623054 hasRelatedWork W4312254064 @default.
- W2057623054 hasRelatedWork W660320 @default.
- W2057623054 hasRelatedWork W9733037 @default.
- W2057623054 hasVolume "29" @default.
- W2057623054 isParatext "false" @default.
- W2057623054 isRetracted "false" @default.
- W2057623054 magId "2057623054" @default.
- W2057623054 workType "article" @default.