A graph-model analysis of computer communications protocols.