Self-stabilizing systems : 3rd Workshop, WSS'97, Santa Barbara, California, August 1997 : proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
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