Graph-based optimising state machine negotiations/processors
Machines for protocol interaction modelled by component graphs