Using data flow algebra to analyse the alternating bit protocol

@inproceedings{Cowling1996UsingDF,
  title={Using data flow algebra to analyse the alternating bit protocol},
  author={Anthony J. Cowling and M. C. Nike},
  booktitle={Software Engineering for Parallel and Distributed Systems},
  year={1996}
}