De auteur presenteert een theorie van gelijktijdige processen waarbij drie verschillende semantische beschrijvingsmethoden die meestal afzonderlijk worden bestudeerd, worden samengebracht. Petrinetten beschrijven processen als gelijktijdige en op elkaar inwerkende machines; Algebraïsche procestermen beschrijven processen als abstracte gelijktijdige processen; en logische formules specificeren het beoogde communicatiegedrag van processen. De kern van deze theorie zijn twee sets transformatieregels voor het top-down ontwerp van gelijktijdige processen. De eerste set kan worden gebruikt om stapsgewijze logische formules om te zetten in procestermen, terwijl procestermen door de tweede set kunnen worden omgezet in petrinetten. Deze regels zijn gebaseerd op nieuwe technieken voor de operationele en denotatiesemantiek van gelijktijdige processen. Verschillende resultaten en relaties tussen nettermen en formules die beginnen met formules en geïllustreerd worden met voorbeelden. Het gebruik van transformaties wordt gedemonstreerd in een reeks casestudy's en de auteur identificeert ook richtingen voor onderzoek. Taal: Engels