/protocol

This repository contains formal descriptions of the Ryder prototype hardware protocol.

Ryder hardware protocol

This repository contains formal descriptions of the Ryder prototype hardware protocol.