Verification of a distributed summation algorithm

Authors
  • F.W. Vaandrager
Publication date 1995
Host editors
  • S.A. Smolka
  • I. Lee
Book title Proceedings CONCUR 95, Philadelphia, PA, USA
Series LNCS, 962
Pages (from-to) 190-203
Publisher Springer-Verlag
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back