%0 Journal Article %1 journals/jlp/ToninhoY17 %A Toninho, Bernardo %A Yoshida, Nobuko %D 2017 %J J. Log. Algebraic Methods Program. %K dblp %P 61-83 %T Certifying data in multiparty session types. %U http://dblp.uni-trier.de/db/journals/jlp/jlp90.html#ToninhoY17 %V 90

@article{journals/jlp/ToninhoY17, added-at = {2020-02-22T00:00:00.000+0100}, author = {Toninho, Bernardo and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/2a1a3cb039f62cfea2b504a6a646ed59c/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2016.11.005}, interhash = {a5ce4542c7dfdd92f391631241bc2555}, intrahash = {a1a3cb039f62cfea2b504a6a646ed59c}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {61-83}, timestamp = {2020-02-25T11:42:15.000+0100}, title = {Certifying data in multiparty session types.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp90.html#ToninhoY17}, volume = 90, year = 2017 }