1993 | OriginalPaper | Chapter
Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktnetzen
Authors : Peter Ochsenschläger, Rainer Prinoth
Published in: Kommunikation in Verteilten Systemen
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Hinter dem Begriff „Verteilte Systeme“ verbergen sich heutzutage so unterschiedliche Konzepte wie Parallelrechner, Rechnernetze, Telekooperation und Multimedienanwendungen über einem einheitlichen Kommunikations- und Verteilnetz. Hauptanwendungsfeld des in diesem Beitrag geschilderten Angangs ist die Telekooperation; sie ist gekennzeichnet u.a. durch lokale, autonome Systeme, die unter Inanspruchnahme von Kommunikationsdienstleistungen gemeinsame Kooperationsziele verfolgen.