Full Abstraction for Signal Flow Graphs

Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi. Full Abstraction for Signal Flow Graphs. In Sriram K. Rajamani, David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. pages 515-526, ACM, 2015. [doi]

Authors

Filippo Bonchi

This author has not been identified. Look up 'Filippo Bonchi' in Google

Pawel Sobocinski

This author has not been identified. Look up 'Pawel Sobocinski' in Google

Fabio Zanasi

This author has not been identified. Look up 'Fabio Zanasi' in Google