Specifying a reliable broadcasting protocol in Maude (1999)

by G Denker, J J Garca-Luna-Aceves, J Meseguer, P C