DeRec Protocol File Structure diagrams/: Contains the state diagram images which are used in protocol.md file. protocol.md: File containing protocol specifications and state diagrams.