Prozessalgebra, Teil 1 (Process Algebra, Part 1)

Abstract

Abstract Dieser Beitrag beinhaltet eine Einführung in die Prozessalgebra. Im ersten Teil wird eine Basis-Prozessalgebra vorgestellt und informell die Bedeutung ihrer Operatoren erläutert. Im zweiten Teil des Artikels beschreiben wir, wie prozessalgebraische Ausdrücke als Transitionssysteme interpretiert werden können. Anhand des Roboter-Beispiels der Artikelserie werden die elementaren Konzepte illustriert. Ein Kernstück der Prozessalgebra, beobachtbares Verhalten verschiedener Prozesse zu vergleichen, wird erläutert. Der Beitrag schließt mit einem kleinen Überblick über verschiedene Richtungen in der Prozessalgebra.