Fleet concerns hardware synchronous dataflow networks, but Slate stream system design might benefit from these formalisms