Luís Caires, Hugo Torres Vieira. Conversation types. Theoretical Computer Science, 411(51-52):4399-4440, 2010. [doi]
@article{CairesV10-0, title = {Conversation types}, author = {Luís Caires and Hugo Torres Vieira}, year = {2010}, doi = {10.1016/j.tcs.2010.09.010}, url = {http://dx.doi.org/10.1016/j.tcs.2010.09.010}, researchr = {https://researchr.org/publication/CairesV10-0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {411}, number = {51-52}, pages = {4399-4440}, }