Mario Román

❯

❯

Buchi monoidal streams

Buchi monoidal streams

Feb 02, 20261 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. Human written, using Quartz and Write.

GitHub
ArXiv
OrcID