Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan. Interaction categories and the foundations of typed concurrent programming. In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. pages 35-113, 1996.
@inproceedings{AbramskyGN96,
title = {Interaction categories and the foundations of typed concurrent programming},
author = {Samson Abramsky and Simon J. Gay and Rajagopal Nagarajan},
year = {1996},
tags = {programming},
researchr = {https://researchr.org/publication/AbramskyGN96},
cites = {0},
citedby = {0},
pages = {35-113},
booktitle = {Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany},
editor = {Manfred Broy},
isbn = {3-540-60947-4},
}