A mechanical proof of Segall's PIF algorithm
type: Item
instance of: scholarly article
title: A mechanical proof of Segall's PIF algorithm
zbMATH Open document ID: 0874.68264
DOI: 10.1007/BF01211619
author: W. H. Hesselink
published in: Formal Aspects of Computing
publication date: 1997-11-10T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W10
zbMATH DE Number: 1045402
zbMATH Keywords: propagation of information with feedback
zbMATH Keywords: distributed algorithm
describes a project that uses: NQTHM
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: Q3999717
cites work: Q4040283
cites work: Q4692502
cites work: A Distributed Algorithm for Minimum-Weight Spanning Trees
cites work: The verified incremental design of a distributed spanning tree algorithm: Extended abstract
cites work: Distributed network protocols
cites work: Q4325545
full work available at URL: https://doi.org/10.1007/bf01211619
OpenAlex ID: W2074029023
description: scientific article; zbMATH DE number 1045402