A Framework for Protocol Composition in Horus
