Prozessalgebra, Teil 2 (Process Algebra, Part 2)

Verfasser / Beitragende:
[Ed Brinksma, Angelika Mader]
Ort, Verlag, Jahr:
2003
Enthalten in:
at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik, 51/9/2003(2003-09-01), A17-A20
Format:
Artikel (online)
Online Zugang:
Get it Online (National Licence)
ID: 378858475
LEADER caa a22 4500
001 378858475
003 CHVBK
005 20180305123340.0
007 cr unu---uuuuu
008 161128e20030901xx s 000 0 ger
024 7 0 |a 10.1524/auto.51.9.A17.34762  |2 doi 
035 |a (NATIONALLICENCE)gruyter-10.1524/auto.51.9.A17.34762 
245 0 0 |a Prozessalgebra, Teil 2 (Process Algebra, Part 2)  |h [Elektronische Daten]  |c [Ed Brinksma, Angelika Mader] 
246 1 |a Process Algebra, Part 2 
520 3 |a 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. 
540 |a © 2003 Oldenbourg Wissenschaftsverlag GmbH 
690 7 |a Engineering: general  |2 nationallicence 
690 7 |a Production engineering  |2 nationallicence 
690 7 |a Electrical engineering  |2 nationallicence 
700 1 |a Brinksma  |D Ed  |4 aut 
700 1 |a Mader  |D Angelika  |4 aut 
773 0 |t at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik  |d Oldenbourg Wissenschaftsverlag GmbH  |g 51/9/2003(2003-09-01), A17-A20  |x 0178-2312  |q 51:9/2003|1 2003  |2 51  |o auto 
856 4 0 |u https://doi.org/10.1524/auto.51.9.A17.34762  |q text/html  |z Onlinezugriff via DOI 
908 |D 1  |a research article  |2 jats 
950 |B NATIONALLICENCE  |P 856  |E 40  |u https://doi.org/10.1524/auto.51.9.A17.34762  |q text/html  |z Onlinezugriff via DOI 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Brinksma  |D Ed  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Mader  |D Angelika  |4 aut 
950 |B NATIONALLICENCE  |P 773  |E 0-  |t at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik  |d Oldenbourg Wissenschaftsverlag GmbH  |g 51/9/2003(2003-09-01), A17-A20  |x 0178-2312  |q 51:9/2003|1 2003  |2 51  |o auto 
900 7 |b CC0  |u http://creativecommons.org/publicdomain/zero/1.0  |2 nationallicence 
898 |a BK010053  |b XK010053  |c XK010000 
949 |B NATIONALLICENCE  |F NATIONALLICENCE  |b NL-gruyter 

Verknüpfte Einträge