Abstract
Experience has shown that reasoning informally about distributed algorithms is extremely
dangerous and error-prone, although the underlying method of reasoning is appealing. On
the other hand, completely formal proofs of even simple algorithms are tedious to construct
and dicult to follow. In this paper we propose a number of new operators for the
... read more