CSDL - 1999 ICDCS Workshop on Self-Stabilizing Systems - Table of Contents

1999 ICDCS Workshop on Self-Stabilizing Systems (1999)

Austin, Texas

May 31, 1999 to June 4, 1999

ISBN: 0-7695-0228-8

TABLE OF CONTENTS

The FDDI MAC Meets Self-Stabilization (Abstract)

Adam M. Costello , University of California at Berkeley

George Varghese , Washington University in St. Louis

pp. 0001

Stabilization of Maximal Metric Trees (Abstract)

Mohamed G. Gouda , University of Texas at Austin

Marco Schneider , SBC Technology Resources Inc.

pp. 0010

Scalable Self-Stabilization (Abstract)

Sukumar Ghosh , University of Iowa

Xin He , University of Iowa

pp. 0018

Parallel Composition of Stabilizing Algorithms (Abstract)

Shlomi Dolev , Ben-Gurion University

Ted Herman , University of Iowa

pp. 0025

A Case-Study in Component-based Mechanical Verification of Fault-tolerant Programs (Abstract)

Sandeep S. Kulkarni , Ohio State University

John Rushby , SRI International

Natarajan Shankar , SRI International

pp. 0033

An Exercise in Proving Convergence through Transfer Functions (Abstract)

Oliver Theel , Darmstadt University of Technology

Felix C. Gärtner , Darmstadt University of Technology

pp. 0041

The Alternator (Abstract)

Mohamed G. Gouda , The University of Texas at Austin

Furman Haddix , The University of Texas at Austin

pp. 0048

Phase Synchronization on Asynchronous Uniform Rings with Odd Size (Abstract)

Shing-Tsaan Huang , National Tsing Hua University and National Central University

Tzong-Jye Liu , National Tsing Hua University

pp. 0054

Finite-State Self-Stabilizing Protocols in Message-Passing Systems (Abstract)

Rodney R. Howell , Kansas State University

Masaaki Mizuno , Kansas State University

Mikhail Nesterenko , Kent State University

pp. 0062

Self-Stabilizing Census with Cut-through Constraint (Abstract)

Joffroy Beauquier , Universite de Paris-Sud

Sebastien Tixeuil , Universite de Paris-Sud

Ajoy K. Datta , University of Nevada at Las Vegas

pp. 0070

State-Optimal Snap-Stabilizing PIF in Tree Networks (Abstract)

Alain Bui , LaRIA, University of Picardie Jules Verne

Franck Petit , LaRIA, University of Picardie Jules Verne

Vincent Villain , LaRIA, University of Picardie Jules Verne

Ajoy K. Datta , University of Nevada at Las Vegas

pp. 0078

Self-Stabilizing Clock Synchronization in a Hierarchical Network (Abstract)

Augusto Ciuffoletti , Universit? di Pisa

pp. 0086

Self-Stabilizing Max-Heap (Abstract)

Luc Onana Alima , Universite Catholique de Louvain

pp. 0094

Self-Stabilizing Load Distribution for Replicated Servers on a Per-Access Basis (Abstract)

Felix C. Gärtner , Darmstadt University of Technology

Henning Pagnia , Darmstadt University of Technology

pp. 0102

Index of Authors (Abstract)

pp. 0110