J. P. Geschiere, Wilbert H. F. J. Körver. A Formal Framework for Defining and Developing Parallel Large-Scale Applications. In Erik H. D'Hollander, Gerhard R. Joubert, Frans J. Peters, Denis Trystram, editors, Parallel Computing: State-of-the-Art and Perspectives, Proceedings of the conference ParCo 1995, Gent, Belgium, September 1995. Volume 11 of Advances in Parallel Computing, pages 125-132, Elsevier, 1995.
Abstract is missing.