%0 Conference Paper %1 conf/lics/LagoFVY15 %A Lago, Ugo Dal %A Faggian, Claudia %A Valiron, Benoît %A Yoshimizu, Akira %B LICS %D 2015 %I IEEE Computer Society %K dblp %P 559-572 %T Parallelism and Synchronization in an Infinitary Context. %U http://dblp.uni-trier.de/db/conf/lics/lics2015.html#LagoFVY15 %@ 978-1-4799-8875-4

@inproceedings{conf/lics/LagoFVY15, added-at = {2016-05-06T00:00:00.000+0200}, author = {Lago, Ugo Dal and Faggian, Claudia and Valiron, Benoît and Yoshimizu, Akira}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a335b8bc8a1f581f19bd86ee7b25f362/dblp}, booktitle = {LICS}, crossref = {conf/lics/2015}, ee = {http://dl.acm.org/citation.cfm?id=2876564}, interhash = {d81709e53cd1ea1e6603c78e9c43c239}, intrahash = {a335b8bc8a1f581f19bd86ee7b25f362}, isbn = {978-1-4799-8875-4}, keywords = {dblp}, pages = {559-572}, publisher = {IEEE Computer Society}, timestamp = {2016-05-26T09:35:56.000+0200}, title = {Parallelism and Synchronization in an Infinitary Context.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2015.html#LagoFVY15}, year = 2015 }