Publication

FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs