Their latest paper [0] refers to Naiad(timely dataflow) a few times, e.g.:
"Inspired by ingress/egress nodes in Naiad [34], nested streams can be processed by nested dataflow graphs, which iteratively process chunks of data sourced from a larger stream with support for carrying state across iterations."
There's also some really interesting stuff going on in music informatics, audio and signal processing, especially where everything comes together - accompanying human players:
"Bedrock [..] is a networking and distributed transaction layer built atop SQLite"
"... That query can be any SQLite-compatible query – including schema changes, foreign key constraints, partial indexes, native JSON expressions, or any of the tremendous amount of functionality SQLite offers."
[0] https://hydro.run/papers/flo.pdf