Full Abstraction for Signal Flow Graphs.

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi

Browse the full POPL paper archive.