Mario Román

❯

❯

Buchi monoidal streams

Buchi monoidal streams

Nov 15, 20251 min read

Missing image

Tags: Buchi automata

Graph View

Backlinks

Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID