Matches in SemOpenAlex for { <https://semopenalex.org/work/W3211235893> ?p ?o ?g. }
- W3211235893 endingPage "91" @default.
- W3211235893 startingPage "73" @default.
- W3211235893 abstract "Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft. As UAM operations are time-critical, it will be imperative to have formal guarantees of progress for the distributed protocols used in ATM. Under asynchronous settings, message transmission and processing delays are unbounded, making it impossible to provide deterministic bounds on the time required to make progress. We present an approach for formally guaranteeing timely progress in a Two-Phase Acknowledge distributed knowledge propagation protocol by probabilistically modeling the delays using theories of the Multicopy Two-Hop Relay protocol and the M/M/1 queue system. The guarantee states a probabilistic upper bound to the time for progress as a function of the probabilities of the total transmission and processing delays being less than two given values. We also showcase the development of a library of formal theories, that is tailored towards reasoning about timely progress in distributed protocols deployed in airborne networks, in the Athena proof assistant." @default.
- W3211235893 created "2021-11-08" @default.
- W3211235893 creator A5017232258 @default.
- W3211235893 creator A5038333445 @default.
- W3211235893 creator A5081738999 @default.
- W3211235893 date "2021-10-21" @default.
- W3211235893 modified "2023-09-27" @default.
- W3211235893 title "Formal Guarantees of Timely Progress for Distributed Knowledge Propagation" @default.
- W3211235893 cites W1814275833 @default.
- W3211235893 cites W1864574667 @default.
- W3211235893 cites W1890116877 @default.
- W3211235893 cites W1964965545 @default.
- W3211235893 cites W1972387650 @default.
- W3211235893 cites W1980623617 @default.
- W3211235893 cites W1993536683 @default.
- W3211235893 cites W2006220703 @default.
- W3211235893 cites W2006656863 @default.
- W3211235893 cites W2008920893 @default.
- W3211235893 cites W2037111382 @default.
- W3211235893 cites W2058282107 @default.
- W3211235893 cites W2091776255 @default.
- W3211235893 cites W2104598135 @default.
- W3211235893 cites W2104785859 @default.
- W3211235893 cites W2106364801 @default.
- W3211235893 cites W2109341366 @default.
- W3211235893 cites W2115178223 @default.
- W3211235893 cites W2128361500 @default.
- W3211235893 cites W2130427425 @default.
- W3211235893 cites W2130831769 @default.
- W3211235893 cites W2136978440 @default.
- W3211235893 cites W2142447180 @default.
- W3211235893 cites W2147420447 @default.
- W3211235893 cites W2149959815 @default.
- W3211235893 cites W2152704534 @default.
- W3211235893 cites W2155037890 @default.
- W3211235893 cites W2160712526 @default.
- W3211235893 cites W2167390667 @default.
- W3211235893 cites W2167724537 @default.
- W3211235893 cites W2172245248 @default.
- W3211235893 cites W2285931649 @default.
- W3211235893 cites W2316597940 @default.
- W3211235893 cites W2336741598 @default.
- W3211235893 cites W2732888418 @default.
- W3211235893 cites W2766944888 @default.
- W3211235893 cites W2885423658 @default.
- W3211235893 cites W2889462571 @default.
- W3211235893 cites W2981802431 @default.
- W3211235893 cites W3023862714 @default.
- W3211235893 cites W3035746598 @default.
- W3211235893 cites W3046762796 @default.
- W3211235893 cites W3092182512 @default.
- W3211235893 cites W3097523446 @default.
- W3211235893 cites W3103572751 @default.
- W3211235893 cites W3139587101 @default.
- W3211235893 cites W3140030144 @default.
- W3211235893 cites W4206542043 @default.
- W3211235893 cites W4241197535 @default.
- W3211235893 cites W4255052368 @default.
- W3211235893 doi "https://doi.org/10.4204/eptcs.348.5" @default.
- W3211235893 hasPublicationYear "2021" @default.
- W3211235893 type Work @default.
- W3211235893 sameAs 3211235893 @default.
- W3211235893 citedByCount "2" @default.
- W3211235893 countsByYear W32112358932022 @default.
- W3211235893 countsByYear W32112358932023 @default.
- W3211235893 crossrefType "journal-article" @default.
- W3211235893 hasAuthorship W3211235893A5017232258 @default.
- W3211235893 hasAuthorship W3211235893A5038333445 @default.
- W3211235893 hasAuthorship W3211235893A5081738999 @default.
- W3211235893 hasBestOaLocation W32112358931 @default.
- W3211235893 hasConcept C120314980 @default.
- W3211235893 hasConcept C121332964 @default.
- W3211235893 hasConcept C142724271 @default.
- W3211235893 hasConcept C151319957 @default.
- W3211235893 hasConcept C154945302 @default.
- W3211235893 hasConcept C160403385 @default.
- W3211235893 hasConcept C163258240 @default.
- W3211235893 hasConcept C204787440 @default.
- W3211235893 hasConcept C2778156585 @default.
- W3211235893 hasConcept C2780385302 @default.
- W3211235893 hasConcept C31258907 @default.
- W3211235893 hasConcept C41008148 @default.
- W3211235893 hasConcept C49937458 @default.
- W3211235893 hasConcept C62520636 @default.
- W3211235893 hasConcept C71924100 @default.
- W3211235893 hasConcept C761482 @default.
- W3211235893 hasConcept C76155785 @default.
- W3211235893 hasConceptScore W3211235893C120314980 @default.
- W3211235893 hasConceptScore W3211235893C121332964 @default.
- W3211235893 hasConceptScore W3211235893C142724271 @default.
- W3211235893 hasConceptScore W3211235893C151319957 @default.
- W3211235893 hasConceptScore W3211235893C154945302 @default.
- W3211235893 hasConceptScore W3211235893C160403385 @default.
- W3211235893 hasConceptScore W3211235893C163258240 @default.
- W3211235893 hasConceptScore W3211235893C204787440 @default.
- W3211235893 hasConceptScore W3211235893C2778156585 @default.
- W3211235893 hasConceptScore W3211235893C2780385302 @default.
- W3211235893 hasConceptScore W3211235893C31258907 @default.