Derivation of Secure Parallel Applications by Means of Module Embedding.

Atanas Radenski Derivation of Secure Parallel Applications by Means of Module Embedding. 26-37 2000 conf/jmlc/2000 JMLC db/conf/jmlc/jmlc2000.html#Radenski00