FRINK Linked Data Fragments server

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

• W4288094491 abstract "This paper describes the application of a high-level language and method in developing simpler specifications of more complex variants of the Paxos algorithm for distributed consensus. The specifications are for Multi-Paxos with preemption, replicated state machine, and reconfiguration and optimized with state reduction and failure detection. The language is DistAlgo. The key is to express complex control flows and synchronization conditions precisely at a high level, using nondeterministic waits and message-history queries. We obtain complete executable specifications that are almost completely declarative--updating only a number for the protocol round besides the sets of messages sent and received." @default.
• W4288094491 created "2022-07-28" @default.
• W4288094491 creator A5019098914 @default.
• W4288094491 creator A5021474885 @default.
• W4288094491 creator A5068274526 @default.
• W4288094491 date "2019-10-07" @default.
• W4288094491 modified "2023-09-27" @default.
• W4288094491 title "Moderately Complex Paxos Made Simple" @default.
• W4288094491 cites W2004964495 @default.
• W4288094491 cites W2035362408 @default.
• W4288094491 cites W2051707209 @default.
• W4288094491 cites W2075854425 @default.
• W4288094491 cites W2091776255 @default.
• W4288094491 cites W2096274181 @default.
• W4288094491 cites W2115175274 @default.
• W4288094491 cites W2118153508 @default.
• W4288094491 cites W2136259232 @default.
• W4288094491 cites W2138949781 @default.
• W4288094491 cites W2159514201 @default.
• W4288094491 cites W2167814583 @default.
• W4288094491 cites W2288327952 @default.
• W4288094491 cites W2296772897 @default.
• W4288094491 cites W2336977579 @default.
• W4288094491 cites W2606939423 @default.
• W4288094491 cites W2780733723 @default.
• W4288094491 cites W2808604898 @default.
• W4288094491 cites W2950923141 @default.
• W4288094491 cites W2963870476 @default.
• W4288094491 cites W3137220996 @default.
• W4288094491 cites W4211008702 @default.
• W4288094491 doi "https://doi.org/10.1145/3354166.3354180" @default.
• W4288094491 hasPublicationYear "2019" @default.
• W4288094491 type Work @default.
• W4288094491 citedByCount "2" @default.
• W4288094491 countsByYear W42880944912020 @default.
• W4288094491 countsByYear W42880944912023 @default.
• W4288094491 crossrefType "proceedings-article" @default.
• W4288094491 hasAuthorship W4288094491A5019098914 @default.
• W4288094491 hasAuthorship W4288094491A5021474885 @default.
• W4288094491 hasAuthorship W4288094491A5068274526 @default.
• W4288094491 hasBestOaLocation W42880944911 @default.
• W4288094491 hasConcept C111472728 @default.
• W4288094491 hasConcept C111919701 @default.
• W4288094491 hasConcept C119701452 @default.
• W4288094491 hasConcept C120314980 @default.
• W4288094491 hasConcept C127162648 @default.
• W4288094491 hasConcept C138885662 @default.
• W4288094491 hasConcept C142724271 @default.
• W4288094491 hasConcept C149635348 @default.
• W4288094491 hasConcept C160145156 @default.
• W4288094491 hasConcept C176181172 @default.
• W4288094491 hasConcept C199360897 @default.
• W4288094491 hasConcept C204787440 @default.
• W4288094491 hasConcept C206952183 @default.
• W4288094491 hasConcept C2778562939 @default.
• W4288094491 hasConcept C2780385302 @default.
• W4288094491 hasConcept C2780586882 @default.
• W4288094491 hasConcept C31258907 @default.
• W4288094491 hasConcept C41008148 @default.
• W4288094491 hasConcept C48103436 @default.
• W4288094491 hasConcept C71924100 @default.
• W4288094491 hasConcept C80444323 @default.
• W4288094491 hasConceptScore W4288094491C111472728 @default.
• W4288094491 hasConceptScore W4288094491C111919701 @default.
• W4288094491 hasConceptScore W4288094491C119701452 @default.
• W4288094491 hasConceptScore W4288094491C120314980 @default.
• W4288094491 hasConceptScore W4288094491C127162648 @default.
• W4288094491 hasConceptScore W4288094491C138885662 @default.
• W4288094491 hasConceptScore W4288094491C142724271 @default.
• W4288094491 hasConceptScore W4288094491C149635348 @default.
• W4288094491 hasConceptScore W4288094491C160145156 @default.
• W4288094491 hasConceptScore W4288094491C176181172 @default.
• W4288094491 hasConceptScore W4288094491C199360897 @default.
• W4288094491 hasConceptScore W4288094491C204787440 @default.
• W4288094491 hasConceptScore W4288094491C206952183 @default.
• W4288094491 hasConceptScore W4288094491C2778562939 @default.
• W4288094491 hasConceptScore W4288094491C2780385302 @default.
• W4288094491 hasConceptScore W4288094491C2780586882 @default.
• W4288094491 hasConceptScore W4288094491C31258907 @default.
• W4288094491 hasConceptScore W4288094491C41008148 @default.
• W4288094491 hasConceptScore W4288094491C48103436 @default.
• W4288094491 hasConceptScore W4288094491C71924100 @default.
• W4288094491 hasConceptScore W4288094491C80444323 @default.
• W4288094491 hasFunder F4320306076 @default.
• W4288094491 hasFunder F4320338298 @default.
• W4288094491 hasLocation W42880944911 @default.
• W4288094491 hasLocation W42880944912 @default.
• W4288094491 hasOpenAccess W4288094491 @default.
• W4288094491 hasPrimaryLocation W42880944911 @default.
• W4288094491 hasRelatedWork W1601314157 @default.
• W4288094491 hasRelatedWork W1808877344 @default.
• W4288094491 hasRelatedWork W1967499492 @default.
• W4288094491 hasRelatedWork W1992741870 @default.
• W4288094491 hasRelatedWork W2026046761 @default.
• W4288094491 hasRelatedWork W2083338789 @default.
• W4288094491 hasRelatedWork W2106019987 @default.
• W4288094491 hasRelatedWork W2131630752 @default.
• W4288094491 hasRelatedWork W2475423329 @default.
• W4288094491 hasRelatedWork W2999589555 @default.
• W4288094491 isParatext "false" @default.

• next