Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session types revisited. Inf. Comput., 256:253-286, 2017. [doi]
@article{DardhaGS17, title = {Session types revisited}, author = {Ornela Dardha and Elena Giachino and Davide Sangiorgi}, year = {2017}, doi = {10.1016/j.ic.2017.06.002}, url = {https://doi.org/10.1016/j.ic.2017.06.002}, researchr = {https://researchr.org/publication/DardhaGS17}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {256}, pages = {253-286}, }