Martín Abadi, Cédric Fournet, Georges Gonthier. Secure Implementation of Channel Abstractions. Inf. Comput., 174(1):37-83, 2002. [doi]
@article{AbadiFG02,
title = {Secure Implementation of Channel Abstractions},
author = {Martín Abadi and Cédric Fournet and Georges Gonthier},
year = {2002},
url = {http://www.idealibrary.com/links/doi/10.1006/inco.2002.3086},
tags = {abstraction},
researchr = {https://researchr.org/publication/AbadiFG02},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {174},
number = {1},
pages = {37-83},
}