Blocktree/doc/BlocktreeCloudPaper/HttpStateGraph.gv

// This can be regenerated with the following command:
// dot -Tpdf -o HttpStateGraph.pdf HttpStateGraph.gv
digraph {
  server_init[label = "ServerInit"];
  listening[label = "Listening"];
  server_init -> listening [label = "  Activate"];
  listening -> listening [label = "  Request"];
}