Transformation parallel ablaufender Programme

Document type:: Dissertation
Author(s):: Broy, Manfred
Information about the author:: Prof. Dr. Dr. h.c. Manfred Broy, Ordinarius für Informatik an der TU München, erhielt den Leibnizpreis 1994.
Title:: Transformation parallel ablaufender Programme
Translated title:: Transformation of parallel running programs
Keywords:: mathematische Semantik, funktionale Äquivalenz, Nicht-Determinismus, Parallelität, gemeinsamer Speicher
Subject:: DAT Datenverarbeitung, Informatik
DDC:: 000 Informatik, Wissen, Systeme
Advisor:: Bauer, Friedrich Ludwig (Prof. Dr. Dr. h.c.)
Referee:: Seegmüller, Gerhard (Prof. Dr.)
Date of acceptation:: 04.02.1980
Year:: 1980
Language:: de
Language from translation:: en
Notes:: Die Retrodigitalisierung konnte dank Spenden von Alumni der TU München finanziert werden.
University:: Technische Universität München
Faculty:: Fakultät für Mathematik
Format:: Text
BVB-ID:: BV000995839
BibTeX