Inproceedings,
Full Abstraction for Signal Flow Graphs.
F. Bonchi, P. Sobocinski, and F. Zanasi.POPL, page 515-526. ACM, (2015)
Meta data
- BibTeX key
- conf/popl/BonchiSZ15
- entry type
- inproceedings
- booktitle
- POPL
- year
- 2015
- pages
- 515-526
- publisher
- ACM
- crossref
- conf/popl/2015
- ee
- https://doi.org/10.1145/2775051.2676993
- isbn
- 978-1-4503-3300-9
- url
- http://dblp.uni-trier.de/db/conf/popl/popl2015.html#BonchiSZ15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/popl/BonchiSZ15
%A Bonchi, Filippo
%A Sobocinski, Pawel
%A Zanasi, Fabio
%B POPL
%D 2015
%E Rajamani, Sriram K.
%E Walker, David
%I ACM
%K dblp
%P 515-526
%T Full Abstraction for Signal Flow Graphs.
%U http://dblp.uni-trier.de/db/conf/popl/popl2015.html#BonchiSZ15
%@ 978-1-4503-3300-9
@inproceedings{conf/popl/BonchiSZ15,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Bonchi, Filippo and Sobocinski, Pawel and Zanasi, Fabio},
biburl = {https://www.bibsonomy.org/bibtex/249c066674f17350af12e284d24028d02/dblp},
booktitle = {POPL},
crossref = {conf/popl/2015},
editor = {Rajamani, Sriram K. and Walker, David},
ee = {https://doi.org/10.1145/2775051.2676993},
interhash = {a863c4874decf13e3af0b5b097680771},
intrahash = {49c066674f17350af12e284d24028d02},
isbn = {978-1-4503-3300-9},
keywords = {dblp},
pages = {515-526},
publisher = {ACM},
timestamp = {2024-04-12T14:41:56.000+0200},
title = {Full Abstraction for Signal Flow Graphs.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2015.html#BonchiSZ15},
year = 2015
}