Mario Román

Search

Search IconIcon to open search

Monoidal streams for Buchi automata

Last updated May 3, 2023

monoidal-streams-for-buchi-automata

Tags: Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022), Total relation, Monoidal automata.