A derivation of a broadcasting protocol using sequentially phased reasoning.

Frank A. Stomp A derivation of a broadcasting protocol using sequentially phased reasoning. 19-32 1990 conf/pstv/1990 PSTV db/conf/pstv/pstv1990.html#Stomp90