%0 Conference Paper %1 conf/concur/BalzerPT18 %A Balzer, Stephanie %A Pfenning, Frank %A Toninho, Bernardo %B CONCUR %D 2018 %E Schewe, Sven %E Zhang, Lijun %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 30:1-30:18 %T A Universal Session Type for Untyped Asynchronous Communication. %U http://dblp.uni-trier.de/db/conf/concur/concur2018.html#BalzerPT18 %V 118 %@ 978-3-95977-087-3

@inproceedings{conf/concur/BalzerPT18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Balzer, Stephanie and Pfenning, Frank and Toninho, Bernardo}, biburl = {https://www.bibsonomy.org/bibtex/2a7bf2c666614b9f9ba49ae0cb7c7d7b8/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2018}, editor = {Schewe, Sven and Zhang, Lijun}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.30}, interhash = {c858e10d41387c37256a9332d045b1b3}, intrahash = {a7bf2c666614b9f9ba49ae0cb7c7d7b8}, isbn = {978-3-95977-087-3}, keywords = {dblp}, pages = {30:1-30:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:39.000+0100}, title = {A Universal Session Type for Untyped Asynchronous Communication.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2018.html#BalzerPT18}, volume = 118, year = 2018 }