Matches in SemOpenAlex for { <https://semopenalex.org/work/W137050450> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W137050450 endingPage "281" @default.
- W137050450 startingPage "266" @default.
- W137050450 abstract "Formal reasoning on Peer-to-Peer (P2P) systems is an intimidating task. This paper focuses on broadcast algorithms for Content Addressable Network (CAN). Since these algorithms run on top of complex P2P systems, finding the right level of abstraction in order to prove their functional correctness is difficult. This paper presents a mechanized model for both CAN and broadcast protocols over those networks. We demonstrate that our approach is practical by identifying sufficient conditions for a protocol to be correct and efficient. We also prove the existence of a protocol verifying those properties." @default.
- W137050450 created "2016-06-24" @default.
- W137050450 creator A5071173395 @default.
- W137050450 creator A5087784227 @default.
- W137050450 date "2013-01-01" @default.
- W137050450 modified "2023-09-27" @default.
- W137050450 title "A Mechanized Model for CAN Protocols" @default.
- W137050450 cites W1499832866 @default.
- W137050450 cites W1958401985 @default.
- W137050450 cites W1966301639 @default.
- W137050450 cites W2050232116 @default.
- W137050450 cites W2087946700 @default.
- W137050450 cites W2117630183 @default.
- W137050450 cites W2127853808 @default.
- W137050450 cites W2147891468 @default.
- W137050450 cites W2154291883 @default.
- W137050450 cites W2156421662 @default.
- W137050450 cites W2166454918 @default.
- W137050450 cites W29617856 @default.
- W137050450 cites W3009151322 @default.
- W137050450 cites W3162105941 @default.
- W137050450 cites W4249823756 @default.
- W137050450 cites W4253102189 @default.
- W137050450 cites W8308374 @default.
- W137050450 doi "https://doi.org/10.1007/978-3-642-37057-1_20" @default.
- W137050450 hasPublicationYear "2013" @default.
- W137050450 type Work @default.
- W137050450 sameAs 137050450 @default.
- W137050450 citedByCount "2" @default.
- W137050450 countsByYear W1370504502013 @default.
- W137050450 crossrefType "book-chapter" @default.
- W137050450 hasAuthorship W137050450A5071173395 @default.
- W137050450 hasAuthorship W137050450A5087784227 @default.
- W137050450 hasBestOaLocation W1370504501 @default.
- W137050450 hasConcept C111472728 @default.
- W137050450 hasConcept C120314980 @default.
- W137050450 hasConcept C124304363 @default.
- W137050450 hasConcept C127413603 @default.
- W137050450 hasConcept C138885662 @default.
- W137050450 hasConcept C142724271 @default.
- W137050450 hasConcept C199360897 @default.
- W137050450 hasConcept C201995342 @default.
- W137050450 hasConcept C204787440 @default.
- W137050450 hasConcept C2780385302 @default.
- W137050450 hasConcept C2780451532 @default.
- W137050450 hasConcept C41008148 @default.
- W137050450 hasConcept C534932454 @default.
- W137050450 hasConcept C55439883 @default.
- W137050450 hasConcept C71924100 @default.
- W137050450 hasConcept C80444323 @default.
- W137050450 hasConceptScore W137050450C111472728 @default.
- W137050450 hasConceptScore W137050450C120314980 @default.
- W137050450 hasConceptScore W137050450C124304363 @default.
- W137050450 hasConceptScore W137050450C127413603 @default.
- W137050450 hasConceptScore W137050450C138885662 @default.
- W137050450 hasConceptScore W137050450C142724271 @default.
- W137050450 hasConceptScore W137050450C199360897 @default.
- W137050450 hasConceptScore W137050450C201995342 @default.
- W137050450 hasConceptScore W137050450C204787440 @default.
- W137050450 hasConceptScore W137050450C2780385302 @default.
- W137050450 hasConceptScore W137050450C2780451532 @default.
- W137050450 hasConceptScore W137050450C41008148 @default.
- W137050450 hasConceptScore W137050450C534932454 @default.
- W137050450 hasConceptScore W137050450C55439883 @default.
- W137050450 hasConceptScore W137050450C71924100 @default.
- W137050450 hasConceptScore W137050450C80444323 @default.
- W137050450 hasLocation W1370504501 @default.
- W137050450 hasLocation W1370504502 @default.
- W137050450 hasLocation W1370504503 @default.
- W137050450 hasLocation W1370504504 @default.
- W137050450 hasOpenAccess W137050450 @default.
- W137050450 hasPrimaryLocation W1370504501 @default.
- W137050450 hasRelatedWork W1516169988 @default.
- W137050450 hasRelatedWork W1568263432 @default.
- W137050450 hasRelatedWork W1582490518 @default.
- W137050450 hasRelatedWork W2001888460 @default.
- W137050450 hasRelatedWork W2024218563 @default.
- W137050450 hasRelatedWork W2099109751 @default.
- W137050450 hasRelatedWork W2276164673 @default.
- W137050450 hasRelatedWork W2573962391 @default.
- W137050450 hasRelatedWork W3160136729 @default.
- W137050450 hasRelatedWork W4243553186 @default.
- W137050450 isParatext "false" @default.
- W137050450 isRetracted "false" @default.
- W137050450 magId "137050450" @default.
- W137050450 workType "book-chapter" @default.