A Complete Diagrammatic Calculus for Automata Simulation.

Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

Browse the full CSL paper archive.