Monoidal streams for Buchi automata
Tags: Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022), Total relation, Transition systems in monoidal streams.
Search
Tags: Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022), Total relation, Transition systems in monoidal streams.