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.
@inproceedings{PepperES93,
title = {Functional Development of Massively Parallel Programs (Invited Paper)},
author = {Peter Pepper and Jürgen Exner and Mario Südholt},
year = {1993},
tags = {functional programming, parallel programming, programming},
researchr = {https://researchr.org/publication/PepperES93},
cites = {0},
citedby = {0},
pages = {217-238},
booktitle = {Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings},
editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
volume = {735},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57316-X},
}