Ruppelt, Th. ; Wirtz, Guido:
From Mathematical Specifications to Parallel Programs on a Message-Based System
.
In: ACM (Hrsg.) : Proc. of the ACM Int. Conf. on Supercomputing ICS
(xxx, St. Malo).
xxx : ACM Press, 1988.
Institution: Lehrstuhl für Praktische Informatik
|
|