Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030349912, 9783030349929
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model

2019 ◽  
pp. 105-110 ◽  
Author(s):  
Carole Delporte-Gallet ◽  
Hugues Fauconnier ◽  
Pierre Fraigniaud ◽  
Mikaël Rabie
Keyword(s):  
Distributed Computing ◽  
Local Model

Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder

2019 ◽  
pp. 127-132
Author(s):  
Shlomi Dolev ◽  
Sayaka Kamei ◽  
Yoshiaki Katayama ◽  
Fukuhito Ooshita ◽  
Koichi Wada
Keyword(s):  
Mobile Robots ◽  
Autonomous Mobile Robots

scholarly journals Fault Tolerant Network Constructors

2019 ◽  
pp. 243-255 ◽  
Author(s):  
Othon Michail ◽  
Paul G. Spirakis ◽  
Michail Theofilatos
Keyword(s):  
Fault Tolerant

scholarly journals Logarithmic Expected-Time Leader Election in Population Protocol Model

2019 ◽  
pp. 323-337 ◽  
Author(s):  
Yuichi Sudo ◽  
Fukuhito Ooshita ◽  
Taisuke Izumi ◽  
Hirotsugu Kakugawa ◽  
Toshimitsu Masuzawa
Keyword(s):  
Leader Election ◽  
Expected Time ◽  
Population Protocol

scholarly journals Tasks in Modular Proofs of Concurrent Algorithms

2019 ◽  
pp. 69-83 ◽  
Author(s):  
Armando Castañeda ◽  
Aurélie Hurault ◽  
Philippe Quéinnec ◽  
Matthieu Roy
Keyword(s):  
Concurrent Algorithms

On Gathering of Semi-synchronous Robots in Graphs

2019 ◽  
pp. 84-98 ◽  
Author(s):  
Serafino Cicerone ◽  
Gabriele Di Stefano ◽  
Alfredo Navarra

A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus

2019 ◽  
pp. 307-322
Author(s):  
Hugo Rincon Galeana ◽  
Kyrill Winkler ◽  
Ulrich Schmid ◽  
Sergio Rajsbaum
Keyword(s):  
Set Agreement
Load More ...
Sign in / Sign up

Export Citation Format

Share Document