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,
}











