Der Autor stellt eine Theorie der nebenläufigen Prozesse vor, in der drei verschiedene semantische Beschreibungsmethoden, die normalerweise isoliert untersucht werden, zusammengeführt werden. Petri-Netze beschreiben Prozesse als gleichzeitige und interagierende Maschinen; Algebraische Prozessbegriffe beschreiben Prozesse als abstrakte nebenläufige Prozesse; und logische Formeln spezifizieren das beabsichtigte Kommunikationsverhalten von Prozessen. Im Zentrum dieser Theorie stehen zwei Sätze von Transformationsregeln für das Top-Down-Design von nebenläufigen Prozessen. Der erste Satz kann verwendet werden, um schrittweise logische Formeln in Prozessterme umzuwandeln, während der zweite Satz Prozessterme in Petrinetze transformieren kann. Diese Regeln basieren auf neuartigen Techniken für die operationale und denotationale Semantik von nebenläufigen Prozessen. Verschiedene Ergebnisse und Beziehungen zwischen Netztermen und Formeln, beginnend mit Formeln und veranschaulicht durch Beispiele. Der Einsatz von Transformationen wird in einer Reihe von Fallstudien demonstriert und der Autor zeigt auch Forschungsrichtungen auf. Sprache: Englisch