caa a22 4500 378858475 CHVBK 20180305123340.0 cr unu---uuuuu 161128e20030901xx s 000 0 ger 10.1524/auto.51.9.A17.34762 doi (NATIONALLICENCE)gruyter-10.1524/auto.51.9.A17.34762 Prozessalgebra, Teil 2 (Process Algebra, Part 2) [Elektronische Daten] [Ed Brinksma, Angelika Mader] Process Algebra, Part 2 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. © 2003 Oldenbourg Wissenschaftsverlag GmbH Engineering: general nationallicence Production engineering nationallicence Electrical engineering nationallicence Brinksma Ed aut Mader Angelika aut at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 51/9/2003(2003-09-01), A17-A20 0178-2312 51:9/2003<A17 2003 51 auto https://doi.org/10.1524/auto.51.9.A17.34762 text/html Onlinezugriff via DOI 1 research article jats NATIONALLICENCE 856 40 https://doi.org/10.1524/auto.51.9.A17.34762 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Brinksma Ed aut NATIONALLICENCE 700 1- Mader Angelika aut NATIONALLICENCE 773 0- at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 51/9/2003(2003-09-01), A17-A20 0178-2312 51:9/2003<A17 2003 51 auto CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-gruyter