Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida. Monitoring networks through multiparty session types. Theoretical Computer Science, 669:33-58, 2017. [doi]
@article{BocchiCDHY17,
title = {Monitoring networks through multiparty session types},
author = {Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida},
year = {2017},
doi = {10.1016/j.tcs.2017.02.009},
url = {http://dx.doi.org/10.1016/j.tcs.2017.02.009},
researchr = {https://researchr.org/publication/BocchiCDHY17},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {669},
pages = {33-58},
}