%0 Conference Paper %1 conf/esop/BalzerTP19 %A Balzer, Stephanie %A Toninho, Bernardo %A Pfenning, Frank %B ESOP %D 2019 %E Caires, Luís %I Springer %K dblp %P 611-639 %T Manifest Deadlock-Freedom for Shared Session Types. %U http://dblp.uni-trier.de/db/conf/esop/esop2019.html#BalzerTP19 %V 11423 %@ 978-3-030-17184-1

@inproceedings{conf/esop/BalzerTP19, added-at = {2019-09-25T00:00:00.000+0200}, author = {Balzer, Stephanie and Toninho, Bernardo and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/23ae7c1409ff233d24c1f99f031b298a4/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2019}, editor = {Caires, Luís}, ee = {https://doi.org/10.1007/978-3-030-17184-1_22}, interhash = {c69ef099f2c242220d37af345278356c}, intrahash = {3ae7c1409ff233d24c1f99f031b298a4}, isbn = {978-3-030-17184-1}, keywords = {dblp}, pages = {611-639}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:57:15.000+0200}, title = {Manifest Deadlock-Freedom for Shared Session Types.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2019.html#BalzerTP19}, volume = 11423, year = 2019 }