Secure Implementation of Channel Abstractions

Cédric Fournet
Georges Gonthier
LICS (1998), pp. 105-116

Abstract