Contextual Equivalence for Signal Flow Graphs.

Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi

Browse the full FOSSACS paper archive.