The top documents tagged [protocol state diagrams]