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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.