Summary: _______________________________________________________________________________*
*__
| Acta Informatica manuscript No. *
* |
| (will be inserted by the editor) *
* |
|______________________________________________________________________________*
*__|



A proof of Bloom's two-writer protocol


Uri Abraham1

Departments of Mathematics and Computer Science
Ben Gurion University of the Neguev
Be'er Sheva, Israel.

Source: Abraham, Uri - Departments of Computer Science & Mathematics, Ben-Gurion University

Collections: Mathematics; Computer Technologies and Information Sciences