From Sequential Layers to Distributed Processes, Deriving a minimum weight spanning tree algorithm

Wil Janssen, W.P.M. Janssen, Jakob Zwiers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    17 Citations (Scopus)
    128 Downloads (Pure)


    Analysis and design of distributed algorithms and protocols are difficult issues. An important cause for those difficulties is the fact that the logical structure of the solution is often invisible in the actual implementation. We introduce a framework that allows for a formal treatment of the design process, from an abstract initial design to an implementation tailored to specific architectures. A combination of algebraic and axiomatic techniques is used to verify correctness of the derivation steps. This is shown by deriving an implementation of a distributed minimum weight spanning tree algorithm in the style of [GHS].
    Original languageUndefined
    Title of host publication11th Annual ACM Symposium on Principles of Distributed Computing
    Place of PublicationVancouver
    PublisherAssociation for Computing Machinery (ACM)
    Number of pages13
    ISBN (Print)9780897914956
    Publication statusPublished - 10 Aug 1992
    EventPODC '92, the eleventh annual ACM symposium on Principles of distributed computing - Vancouver
    Duration: 1 Jan 19921 Jan 1992

    Publication series



    ConferencePODC '92, the eleventh annual ACM symposium on Principles of distributed computing


    • IR-101739
    • METIS-119894

    Cite this