Here is a list of all related documentation pages:

Packet Serialization Specification	Technical specification of the dfx binary wire protocol
Message Passing Architecture	Detailed overview of how messages flow through the dfx framework
Graph channel verification (kind + mime-type compatibility)
dfx - Dynamic Dataflow Executor
dfx-ctl - Control and Inspection Tool
dfxd - dfx Daemon and Instance Manager
dfx-gui - Graphical Interface