Functional Development of Massively Parallel Programs (Invited Paper)

Peter Pepper, Jürgen Exner, Mario Südholt. Functional Development of Massively Parallel Programs (Invited Paper). In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, pages 217-238, Springer, 1993.

Authors

Peter Pepper

This author has not been identified. Look up 'Peter Pepper' in Google

Jürgen Exner

This author has not been identified. Look up 'Jürgen Exner' in Google

Mario Südholt

This author has not been identified. It may be one of the following persons: Look up 'Mario Südholt' in Google