Bericht No. 9010, pages 1-196 pp.. Kiel, Germany: Universität, Institut für Informatik und praktische Mathematik, November 1990. In German.
Abstract: Die Arbeit zeigt Probleme auf, die bei der Entwicklung von Systemen kommunizierender Prozesse entstehten. Sie stellt ein Programmierkonzept vor, in dem die algorithmischen and organisatorischen Aspekte unterschieden and die jeweiligen Problemstellungen getrennt behandelt werden. Zur Spezifikation der algorithmischen Komponenten steht dabei eine Reduktionssprache zur Verfügung, in der Programmausdrücke in Form von Funktionsgleichungen dargestellt sind. Die Realisierunhg von organisatorischen Problemstellungen ist mit Hilfe von ProzeÑkonstrukten möglich, die graphisch durch Netzstrukturen dasgestellt sind. Die Semantik der verschiedenen ProzeÑtypen ist durch Petri-Netze beschrieben. Das vorgestellte System umfaÑt alle zur Spezifikation eines ProzeÑsystems notwendigen Komponenten.
Keywords: GRAPH, net based design environment; communicating processes; algorithmic aspect; reduction language; lambda calculus; process semantics; predicate/transition net; functional programming; process synchronization; liveness; concurrent system; graphic editor; net tool.