bfs_protos

module BFSClientProtocol
  state do
    interface input, :request, [:reqid] => [:rtype, :arg]
    interface output, :response, [:reqid] => [:status, :response]
  end
end

module BFSClientMasterProtocol
  state do
    channel :request_msg, [:@master, :source, :reqid, :rtype, :args]
    channel :response_msg, [:@source, :master, :reqid, :status, :response]
  end
end

gistfile2.txt