Mianjin: A Parallel Language with a Type System That Governs Global System Behaviour

Paul Roe, Clemens A. Szyperski. Mianjin: A Parallel Language with a Type System That Governs Global System Behaviour. 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 38-50, Springer, 2000.