Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi
Full Abstraction for Signal Flow Graphs
POPL, 2015.
@inproceedings{POPL-2015-BonchiSZ, author = "Filippo Bonchi and Pawel Sobocinski and Fabio Zanasi", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676993", isbn = "978-1-4503-3300-9", pages = "515--526", publisher = "{ACM}", title = "{Full Abstraction for Signal Flow Graphs}", year = 2015, }