Protocols

Formally specified protocols for agent communication and coordination.