Cargando…

Self-stabilizing systems : 3rd Workshop, WSS'97, Santa Barbara, California, August 1997 : proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: WSS'97 Santa Barbara, Calif.
Otros Autores: Ghosh, Sukumar, 1946-, Herman, Ted, 1952-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Ottawa : Carleton University Press, [1997]
Colección:International informatics series ; 7.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Cover
  • Cover
  • Title
  • Title
  • Copyright
  • Copyright
  • Table of Contents
  • Table of Contents
  • Preface
  • Preface
  • Compositional Design of Multitolerant Repetitive Byzantine Agreement
  • Compositional Design of Multitolerant Repetitive Byzantine Agreement
  • Development of Self-Stabilizing Distributed Algorithms using Transformation: Case Studies Development of Self-Stabilizing Distributed Algorithms using Transformation: Case Studies
  • The Linear Alternator
  • The Linear Alternator
  • Self-Stabilizing l-exclusion
  • Self-Stabilizing l-exclusion On FTSS-Solvable Distributed Problems
  • On FTSS-Solvable Distributed Problems
  • Compositional Proofs of Self-stabilizing Protocols
  • Compositional Proofs of Self-stabilizing Protocols
  • Delay-Insensitive Stabilization
  • Delay-Insensitive Stabilization A Latency-Optimal Superstabilizing Mutual Exclusion Protocol
  • A Latency-Optimal Superstabilizing Mutual Exclusion Protocol
  • Memory-Efficient Self-stabilizing Algorithm to Construct BFS Spanning Trees
  • Memory-Efficient Self-stabilizing Algorithm to Construct BFS Spanning Trees Self-stabilizing Universal Algorithms
  • Self-stabilizing Universal Algorithms
  • Tradeoffs in Fault-Containing Self-stabilization
  • Tradeoffs in Fault-Containing Self-stabilization