Expressing The Routing Logic Of A Sdn Controller As A Differential Dataflow