%0 Conference Paper %1 conf/concur/CairesPPT19 %A Caires, Luís %A Pérez, Jorge A. %A Pfenning, Frank %A Toninho, Bernardo %B CONCUR %D 2019 %E Fokkink, Wan J. %E van Glabbeek, Rob %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 39:1-39:17 %T Domain-Aware Session Types. %U http://dblp.uni-trier.de/db/conf/concur/concur2019.html#CairesPPT19 %V 140 %@ 978-3-95977-121-4

@inproceedings{conf/concur/CairesPPT19, added-at = {2020-12-02T00:00:00.000+0100}, author = {Caires, Luís and Pérez, Jorge A. and Pfenning, Frank and Toninho, Bernardo}, biburl = {https://www.bibsonomy.org/bibtex/2a939604c6787085c1f57d968fdeb67be/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2019}, editor = {Fokkink, Wan J. and van Glabbeek, Rob}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.39}, interhash = {23822f2a6758406bcd48286ccadbef40}, intrahash = {a939604c6787085c1f57d968fdeb67be}, isbn = {978-3-95977-121-4}, keywords = {dblp}, pages = {39:1-39:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T13:06:20.000+0200}, title = {Domain-Aware Session Types.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2019.html#CairesPPT19}, volume = 140, year = 2019 }