Can I read Prozessalgebra, Teil 2 (Process Algebra, Part 2) on EtoBox?

Prozessalgebra, Teil 2 (Process Algebra, Part 2) by Ed Brinksma; Angelika Mader is a Engineering article available to read on EtoBox.

What is Prozessalgebra, Teil 2 (Process Algebra, Part 2) about?

## Abstract Dieser Beitrag ist der zweite Teil einer Einführung in die Prozessalgebra. Im ersten Teil wurde 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.

Who reads Prozessalgebra, Teil 2 (Process Algebra, Part 2)?

Author

Ed Brinksma; Angelika Mader

Publisher

Walter de Gruyter GmbH

Published

2003

Language

EN

Field

Engineering (Physical Sciences)