Department of Informatics

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

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

Technical Report

Author:Manfred Broy
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.

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