Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM

Thomas Seifert, Ewald Speckenmeyer. Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM. In Reinhard Grebe, Christian Ziemann, editors, Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen TAT 90, Aachen, 17.-18. September 1990. Volume 272 of Informatik-Fachberichte, pages 103-110, Springer, 1990.

Abstract

Abstract is missing.