Verification of a distributed summation algorithm

Authors
  • F.W. Vaandrager
Publication date 1994
Host editors
  • L. Schrijver
  • K.R. Apt
  • N.M. Temme
Book title From Universal Morphisms to Megabytes -- a Baayen Space Odyssey
Pages (from-to) 593-608
Publisher Amsterdam: CWI
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back