Specification and analysis of a reliable broadcasting protocol in maude (1999)

by G Denker, J J García-Luna-Aceves, J Meseguer, P C Ölveczky, Y Raju, B Smith, C Talcott
Venue:37th Annual Allerton Conference on Communication, Control, and Computation. University of Illinois