. . "Transitionssystem." . . "Parallelverarbeitung Mathematische Methode." . . . . . "A Calculus of Distributed and Parallel Processes" . "This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems." . . . . . . . . . . . . . . "Electronic books" . . . . . . "A calculus of distributed and parallel processes" . . "A calculus of distributed and parallel processes"@en . . . "Calculus of distributed and parallel processes" . . . . . "Prozess <Informatik> Algebraische Spezifikation Formale Sprache." . . "Algebraische Spezifikation." . . "Formale Sprache." . . "Transitionssystem Verteiltes System." . . "Prozess <Informatik> Kategorientheorie." . . "Kategorientheorie." . . "Prozess (Informatik)" . . "Verteiltes System." . . "Prozess <Informatik> Mathematisches Modell." . . "Verteilte Datenverarbeitung Mathematische Methode." . . "Prozess <Informatik>" . . "Mathematisches Modell." . .