Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375959557> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4375959557 abstract "Peer-to-peer systems are the most resilient form of distributed computing, but the design of robust protocols for their coordination is difficult. This makes it hard to specify and reason about global behaviour of such systems. This paper presents swarm protocols to specify such systems from a global viewpoint. Swarm protocols are projected to machines, that is local specifications of peers. We take inspiration from behavioural types with a key difference: peers communicate through an event notification mechanism rather than through point-to-point message passing. Our goal is to adhere to the principles of local-first software where network devices collaborate on a common task while retaining full autonomy: every participating device can locally make progress at all times, not encumbered by unavailability of other devices or network connections. This coordination-free approach leads to inconsistencies that may emerge during computations. Our main result shows that under suitable well-formedness conditions for swarm protocols consistency is eventually recovered and the locally observable behaviour of conforming machines will eventually match the global specification. The model we propose elaborates on an existing industrial platform and provides the basis for tool support (sketched here and fully described in a companion artifact paper), wherefore we consider this work to be a viable step towards reasoning about local-first and peer-to-peer software systems." @default.
- W4375959557 created "2023-05-10" @default.
- W4375959557 creator A5022494285 @default.
- W4375959557 creator A5056498850 @default.
- W4375959557 creator A5083182204 @default.
- W4375959557 date "2023-05-08" @default.
- W4375959557 modified "2023-10-01" @default.
- W4375959557 title "Behavioural Types for Local-First Software" @default.
- W4375959557 doi "https://doi.org/10.48550/arxiv.2305.04848" @default.
- W4375959557 hasPublicationYear "2023" @default.
- W4375959557 type Work @default.
- W4375959557 citedByCount "0" @default.
- W4375959557 crossrefType "posted-content" @default.
- W4375959557 hasAuthorship W4375959557A5022494285 @default.
- W4375959557 hasAuthorship W4375959557A5056498850 @default.
- W4375959557 hasAuthorship W4375959557A5083182204 @default.
- W4375959557 hasBestOaLocation W43759595571 @default.
- W4375959557 hasConcept C115903868 @default.
- W4375959557 hasConcept C120314980 @default.
- W4375959557 hasConcept C121332964 @default.
- W4375959557 hasConcept C127413603 @default.
- W4375959557 hasConcept C142724271 @default.
- W4375959557 hasConcept C154945302 @default.
- W4375959557 hasConcept C181335050 @default.
- W4375959557 hasConcept C199360897 @default.
- W4375959557 hasConcept C200601418 @default.
- W4375959557 hasConcept C201995342 @default.
- W4375959557 hasConcept C204787440 @default.
- W4375959557 hasConcept C2524010 @default.
- W4375959557 hasConcept C26517878 @default.
- W4375959557 hasConcept C2776436953 @default.
- W4375959557 hasConcept C2777904410 @default.
- W4375959557 hasConcept C2779010991 @default.
- W4375959557 hasConcept C2779662365 @default.
- W4375959557 hasConcept C2780385302 @default.
- W4375959557 hasConcept C2780451532 @default.
- W4375959557 hasConcept C2780505938 @default.
- W4375959557 hasConcept C28719098 @default.
- W4375959557 hasConcept C33923547 @default.
- W4375959557 hasConcept C38652104 @default.
- W4375959557 hasConcept C41008148 @default.
- W4375959557 hasConcept C62520636 @default.
- W4375959557 hasConcept C71924100 @default.
- W4375959557 hasConceptScore W4375959557C115903868 @default.
- W4375959557 hasConceptScore W4375959557C120314980 @default.
- W4375959557 hasConceptScore W4375959557C121332964 @default.
- W4375959557 hasConceptScore W4375959557C127413603 @default.
- W4375959557 hasConceptScore W4375959557C142724271 @default.
- W4375959557 hasConceptScore W4375959557C154945302 @default.
- W4375959557 hasConceptScore W4375959557C181335050 @default.
- W4375959557 hasConceptScore W4375959557C199360897 @default.
- W4375959557 hasConceptScore W4375959557C200601418 @default.
- W4375959557 hasConceptScore W4375959557C201995342 @default.
- W4375959557 hasConceptScore W4375959557C204787440 @default.
- W4375959557 hasConceptScore W4375959557C2524010 @default.
- W4375959557 hasConceptScore W4375959557C26517878 @default.
- W4375959557 hasConceptScore W4375959557C2776436953 @default.
- W4375959557 hasConceptScore W4375959557C2777904410 @default.
- W4375959557 hasConceptScore W4375959557C2779010991 @default.
- W4375959557 hasConceptScore W4375959557C2779662365 @default.
- W4375959557 hasConceptScore W4375959557C2780385302 @default.
- W4375959557 hasConceptScore W4375959557C2780451532 @default.
- W4375959557 hasConceptScore W4375959557C2780505938 @default.
- W4375959557 hasConceptScore W4375959557C28719098 @default.
- W4375959557 hasConceptScore W4375959557C33923547 @default.
- W4375959557 hasConceptScore W4375959557C38652104 @default.
- W4375959557 hasConceptScore W4375959557C41008148 @default.
- W4375959557 hasConceptScore W4375959557C62520636 @default.
- W4375959557 hasConceptScore W4375959557C71924100 @default.
- W4375959557 hasLocation W43759595571 @default.
- W4375959557 hasOpenAccess W4375959557 @default.
- W4375959557 hasPrimaryLocation W43759595571 @default.
- W4375959557 hasRelatedWork W1841747458 @default.
- W4375959557 hasRelatedWork W192139486 @default.
- W4375959557 hasRelatedWork W2003734918 @default.
- W4375959557 hasRelatedWork W2117784290 @default.
- W4375959557 hasRelatedWork W2124009821 @default.
- W4375959557 hasRelatedWork W2151153457 @default.
- W4375959557 hasRelatedWork W2766862947 @default.
- W4375959557 hasRelatedWork W2886833521 @default.
- W4375959557 hasRelatedWork W2900650341 @default.
- W4375959557 hasRelatedWork W3209925221 @default.
- W4375959557 isParatext "false" @default.
- W4375959557 isRetracted "false" @default.
- W4375959557 workType "article" @default.