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

TOTAL DOCUMENTS

45
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642160226, 9783642160233
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Stably Decidable Graph Languages by Mediated Population Protocols

2010 ◽  
pp. 252-266 ◽  
Author(s):  
Ioannis Chatzigiannakis ◽  
Othon Michail ◽  
Paul G. Spirakis
Keyword(s):  
Population Protocols ◽  
Graph Languages

scholarly journals Approximation of δ-Timeliness

2010 ◽  
pp. 435-451
Author(s):  
Carole Delporte-Gallet ◽  
Stéphane Devismes ◽  
Hugues Fauconnier

scholarly journals Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure

2010 ◽  
pp. 144-158 ◽  
Author(s):  
S. Dov Gordon ◽  
Jonathan Katz ◽  
Ranjit Kumaresan ◽  
Arkady Yerukhimovich
Keyword(s):  
Public Key Infrastructure ◽  
Public Key

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility

2010 ◽  
pp. 319-331 ◽  
Author(s):  
Taisuke Izumi ◽  
Maria Gradinariu Potop-Butucaru ◽  
Sébastien Tixeuil
Keyword(s):  
Mobile Robots ◽  
Limited Visibility

scholarly journals Self-stabilizing Leader Election in Dynamic Networks

2010 ◽  
pp. 35-49 ◽  
Author(s):  
Ajoy K. Datta ◽  
Lawrence L. Larmore ◽  
Hema Piniganti
Keyword(s):  
Dynamic Networks ◽  
Leader Election

scholarly journals A Provably Starvation-Free Distributed Directory Protocol

2010 ◽  
pp. 405-419 ◽  
Author(s):  
Hagit Attiya ◽  
Vincent Gramoli ◽  
Alessia Milani

scholarly journals On Byzantine Containment Properties of the min + 1 Protocol

2010 ◽  
pp. 96-110 ◽  
Author(s):  
Swan Dubois ◽  
Toshimitsu Masuzawa ◽  
Sébastien Tixeuil
Load More ...
Sign in / Sign up

Export Citation Format

Share Document