12 citations · 28 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.FL2020
A String Diagrammatic Axiomatisation of Finite-State Automata
Robin Piedeleu, Fabio Zanasi
We develop a fully diagrammatic approach to the theory of finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional…
cs.LO2020
Contextual Equivalence for Signal Flow Graphs
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski +1
We extend the signal flow calculus---a compositional account of the classical signal flow graph model of computation---to encompass affine behaviour, and furnish it with a novel op…