Giovanni Tito Bernardi, Matthew Hennessy. Modelling session types using contracts. Mathematical Structures in Computer Science, 26(3):510-560, 2016. [doi]
@article{BernardiH16, title = {Modelling session types using contracts}, author = {Giovanni Tito Bernardi and Matthew Hennessy}, year = {2016}, doi = {10.1017/S0960129514000243}, url = {http://dx.doi.org/10.1017/S0960129514000243}, researchr = {https://researchr.org/publication/BernardiH16}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {26}, number = {3}, pages = {510-560}, }