%0 Journal Article %1 journals/tcs/BocchiCDHY17 %A Bocchi, Laura %A Chen, Tzu-Chun %A Demangeon, Romain %A Honda, Kohei %A Yoshida, Nobuko %D 2017 %J Theor. Comput. Sci. %K dblp %P 33-58 %T Monitoring networks through multiparty session types. %U http://dblp.uni-trier.de/db/journals/tcs/tcs669.html#BocchiCDHY17 %V 669

@article{journals/tcs/BocchiCDHY17, added-at = {2023-01-15T00:00:00.000+0100}, author = {Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/2809969193c506177cbc28797a50bc76b/dblp}, ee = {https://doi.org/10.1016/j.tcs.2017.02.009}, interhash = {80901a7891f16362ca1b1cee1af912a1}, intrahash = {809969193c506177cbc28797a50bc76b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {33-58}, timestamp = {2024-04-08T18:40:40.000+0200}, title = {Monitoring networks through multiparty session types.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs669.html#BocchiCDHY17}, volume = 669, year = 2017 }