Using data flow algebra to analyse the alternating bit protocol. - Anthony J. Cowling; M. C. Nike (Software Engineering for Parallel and Distributed Systems, 1996)