FRINK Linked Data Fragments server

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

• W3042716503 endingPage "221" @default.
• W3042716503 startingPage "171" @default.
• W3042716503 abstract "Abstract Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algorithms, but also the formal verification of their behaviour. Of particular importance is the strong link between the very different levels of abstraction at which the algorithms may be verified. Our contribution is primarily the formalisation of this connection between individual models and population-based models, and the subsequent verification that is then possible. While the technique is applicable across a range of synchronisation algorithms, we particularly focus on the synchronisation of (biologically-inspired) pulse-coupled oscillators, a widely used approach in practical distributed systems. For this application domain, different levels of abstraction are crucial: models based on the behaviour of an individual process are able to capture the details of distinguished nodes in possibly heterogenous networks, where each node may exhibit different behaviour. On the other hand, collective models assume homogeneous sets of processes, and allow the behaviour of the network to be analysed at the global level. System-wide parameters may be easily adjusted, for example environmental factors inhibiting the reliability of the shared communication medium. This work provides a formal bridge across the “abstraction gap” separating the individual models and the population-based models for this important class of synchronisation algorithms." @default.
• W3042716503 created "2020-07-23" @default.
• W3042716503 creator A5001487424 @default.
• W3042716503 creator A5013515770 @default.
• W3042716503 creator A5014183151 @default.
• W3042716503 creator A5076121047 @default.
• W3042716503 creator A5084673945 @default.
• W3042716503 date "2020-09-20" @default.
• W3042716503 modified "2023-10-09" @default.
• W3042716503 title "Multi-scale verification of distributed synchronisation" @default.
• W3042716503 cites W1516256348 @default.
• W3042716503 cites W1544872225 @default.
• W3042716503 cites W1586035363 @default.
• W3042716503 cites W1605914607 @default.
• W3042716503 cites W1704074244 @default.
• W3042716503 cites W1801185978 @default.
• W3042716503 cites W1862398452 @default.
• W3042716503 cites W1979547295 @default.
• W3042716503 cites W2005998857 @default.
• W3042716503 cites W2008591003 @default.
• W3042716503 cites W2008706917 @default.
• W3042716503 cites W2014008637 @default.
• W3042716503 cites W2023430284 @default.
• W3042716503 cites W2030381790 @default.
• W3042716503 cites W2030949004 @default.
• W3042716503 cites W2048501801 @default.
• W3042716503 cites W2075032588 @default.
• W3042716503 cites W2085772550 @default.
• W3042716503 cites W2094636498 @default.
• W3042716503 cites W2101508170 @default.
• W3042716503 cites W2102977580 @default.
• W3042716503 cites W2104851058 @default.
• W3042716503 cites W2109069777 @default.
• W3042716503 cites W2111952942 @default.
• W3042716503 cites W2128619399 @default.
• W3042716503 cites W2154953441 @default.
• W3042716503 cites W2159404644 @default.
• W3042716503 cites W2168452204 @default.
• W3042716503 cites W2170239483 @default.
• W3042716503 cites W2177617373 @default.
• W3042716503 cites W2593267253 @default.
• W3042716503 cites W2610257375 @default.
• W3042716503 cites W2706788079 @default.
• W3042716503 cites W2744826141 @default.
• W3042716503 cites W2772548386 @default.
• W3042716503 cites W2779793261 @default.
• W3042716503 cites W2884440084 @default.
• W3042716503 cites W2912904668 @default.
• W3042716503 cites W2963349801 @default.
• W3042716503 cites W3151050330 @default.
• W3042716503 cites W996509581 @default.
• W3042716503 doi "https://doi.org/10.1007/s10703-020-00347-z" @default.
• W3042716503 hasPublicationYear "2020" @default.
• W3042716503 type Work @default.
• W3042716503 sameAs 3042716503 @default.
• W3042716503 citedByCount "3" @default.
• W3042716503 countsByYear W30427165032021 @default.
• W3042716503 countsByYear W30427165032022 @default.
• W3042716503 crossrefType "journal-article" @default.
• W3042716503 hasAuthorship W3042716503A5001487424 @default.
• W3042716503 hasAuthorship W3042716503A5013515770 @default.
• W3042716503 hasAuthorship W3042716503A5014183151 @default.
• W3042716503 hasAuthorship W3042716503A5076121047 @default.
• W3042716503 hasAuthorship W3042716503A5084673945 @default.
• W3042716503 hasBestOaLocation W30427165031 @default.
• W3042716503 hasConcept C100776233 @default.
• W3042716503 hasConcept C111472728 @default.
• W3042716503 hasConcept C120314980 @default.
• W3042716503 hasConcept C120665830 @default.
• W3042716503 hasConcept C121332964 @default.
• W3042716503 hasConcept C124304363 @default.
• W3042716503 hasConcept C126322002 @default.
• W3042716503 hasConcept C127162648 @default.
• W3042716503 hasConcept C127413603 @default.
• W3042716503 hasConcept C134306372 @default.
• W3042716503 hasConcept C138885662 @default.
• W3042716503 hasConcept C144024400 @default.
• W3042716503 hasConcept C149923435 @default.
• W3042716503 hasConcept C154945302 @default.
• W3042716503 hasConcept C159985019 @default.
• W3042716503 hasConcept C163258240 @default.
• W3042716503 hasConcept C192209626 @default.
• W3042716503 hasConcept C192562407 @default.
• W3042716503 hasConcept C199360897 @default.
• W3042716503 hasConcept C204323151 @default.
• W3042716503 hasConcept C2777212361 @default.
• W3042716503 hasConcept C2778562939 @default.
• W3042716503 hasConcept C2778755073 @default.
• W3042716503 hasConcept C2908647359 @default.
• W3042716503 hasConcept C31258907 @default.
• W3042716503 hasConcept C33923547 @default.
• W3042716503 hasConcept C36503486 @default.
• W3042716503 hasConcept C41008148 @default.
• W3042716503 hasConcept C43214815 @default.
• W3042716503 hasConcept C62520636 @default.
• W3042716503 hasConcept C62611344 @default.
• W3042716503 hasConcept C66938386 @default.
• W3042716503 hasConcept C71924100 @default.

• next