Comments on On the Proof of a Distributed Algorithm : Always-Tru is not Invariant

A. J. M. van Gasteren, Gerard Tel. Comments on On the Proof of a Distributed Algorithm : Always-Tru is not Invariant. Inf. Process. Lett., 35(6):277-279, 1990.

Abstract

Abstract is missing.