Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei  On the Design and Verification of a Simple Distributed Spanning Tree Algorithm

Technical Report

Author:Manfred Broy
Number:TUM-I9046
Year:1995
Abstract:The design of a distributed algorithm for computing a minimal distance spanning tree is carried out as a case study for the systematic derivation of a distributed algorithm in a functional setting. A distributed algorithm is derived and proved correct.
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact