An Estimation of Distributed Algorithms of the Fault-Tolerant Management in the Robot Groups

2020 ◽  
pp. 212-221
Author(s):  
Eduard Melnik ◽  
Anna Klimenko ◽  
Irina Safronenkova
Keyword(s):  
Distributed Algorithms ◽  
Fault Tolerant

scholarly journals Reconciling fault-tolerant distributed algorithms and real-time computing

2013 ◽  
Vol 27 (3) ◽  
pp. 203-230 ◽  
Author(s):  
Heinrich Moser ◽  
Ulrich Schmid
Keyword(s):  
Real Time ◽  
Distributed Algorithms ◽  
Fault Tolerant ◽  
Real Time Computing

scholarly journals A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

2017 ◽  
Vol 52 (1) ◽  
pp. 719-734 ◽  
Author(s):  
Igor Konnov ◽  
Marijana Lazić ◽  
Helmut Veith ◽  
Josef Widder
Keyword(s):  
Distributed Algorithms ◽  
Fault Tolerant

scholarly journals PSync: a partially synchronous language for fault-tolerant distributed algorithms

2016 ◽  
Vol 51 (1) ◽  
pp. 400-415 ◽  
Author(s):  
Cezara Drăgoi ◽  
Thomas A. Henzinger ◽  
Damien Zufferey
Keyword(s):  
Distributed Algorithms ◽  
Fault Tolerant ◽  
Synchronous Language
Sign in / Sign up

Export Citation Format

Share Document