Secure implementation of channel abstractions (1998)

by Martín Abadi, Cédric Fournet, Georges Gonthier
Venue:In Proceedings of LICS ’98. IEEE, Computer