Andres, Christian2022-02-172022-02-171989https://dl.gi.de/handle/20.500.12116/38331Das Verfahren vereint die Beschreibung von Parallelität und dem kompositionellen Ansatz. Mit einem Interpreter werden Spezifikationsmodelle ausführbar und stellen einen Prototypen des zu entwerfenden Systems dar.deEin graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte EchtzeitsystemeText