diagrams/: Contains the state diagram images which are used inprotocol.mdfile.protocol.md: File containing protocol specifications and state diagrams.
derecalliance/protocol
Overall description of the DeRec protocol and associated state diagrams.
Apache-2.0