Secure Implementation of Channel Abstractions

Cédric Fournet
Georges Gonthier
Electr. Notes Theor. Comput. Sci., 10 (1997), pp. 202-203

Abstract

×