Derivation of Secure Parallel Applications by Means of Module Embedding

Atanas Radenski. Derivation of Secure Parallel Applications by Means of Module Embedding. In Jürg Gutknecht, Wolfgang Weck, editors, Modular Programming Languages, Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000, Proceedings. Volume 1897 of Lecture Notes in Computer Science, pages 26-37, Springer, 2000.

Abstract

Abstract is missing.