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.

@inproceedings{SeifertS90,
  title = {Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre Übersetzung nach OCCAM},
  author = {Thomas Seifert and Ewald Speckenmeyer},
  year = {1990},
  tags = {Occam},
  researchr = {https://researchr.org/publication/SeifertS90},
  cites = {0},
  citedby = {0},
  pages = {103-110},
  booktitle = {Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen TAT  90, Aachen, 17.-18. September 1990},
  editor = {Reinhard Grebe and Christian Ziemann},
  volume = {272},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-53976-X},
}