Prozessalgebra, Teil 1

Research output: Contribution to journalArticleProfessional

1 Citation (Scopus)

Abstract

This paper presents an introduction to process algebras. In the first part of the contribution we introduce a basic process algebra and give an informal interpretation of its operators. In the second part of the contribution we show how expressions of process algebra can be interpreted as transition systems. Using the robot example of this series the basic concepts are illuminated. We discuss a core element of process algebra, its possibility to compare observable behaviour of different processes. A short overview over different approaches within process algebra concludes the contribution.
Original languageUndefined
Pages (from-to)13-16
Number of pages4
JournalAutomatisierungstechnik
Volume51
Issue number8
DOIs
Publication statusPublished - 2003

Keywords

  • EWI-6406
  • FMT-PA: PROCESS ALGEBRAS

Cite this

@article{01db5061e12546eabd89fc6003e2cc1c,
title = "Prozessalgebra, Teil 1",
abstract = "This paper presents an introduction to process algebras. In the first part of the contribution we introduce a basic process algebra and give an informal interpretation of its operators. In the second part of the contribution we show how expressions of process algebra can be interpreted as transition systems. Using the robot example of this series the basic concepts are illuminated. We discuss a core element of process algebra, its possibility to compare observable behaviour of different processes. A short overview over different approaches within process algebra concludes the contribution.",
keywords = "EWI-6406, FMT-PA: PROCESS ALGEBRAS",
author = "Hendrik Brinksma and Mader, {Angelika H.}",
year = "2003",
doi = "10.1524/auto.51.8.A13.34761",
language = "Undefined",
volume = "51",
pages = "13--16",
journal = "Automatisierungstechnik",
issn = "0178-2312",
publisher = "Walter De Gruyter",
number = "8",

}

Prozessalgebra, Teil 1. / Brinksma, Hendrik; Mader, Angelika H.

In: Automatisierungstechnik, Vol. 51, No. 8, 2003, p. 13-16.

Research output: Contribution to journalArticleProfessional

TY - JOUR

T1 - Prozessalgebra, Teil 1

AU - Brinksma, Hendrik

AU - Mader, Angelika H.

PY - 2003

Y1 - 2003

N2 - This paper presents an introduction to process algebras. In the first part of the contribution we introduce a basic process algebra and give an informal interpretation of its operators. In the second part of the contribution we show how expressions of process algebra can be interpreted as transition systems. Using the robot example of this series the basic concepts are illuminated. We discuss a core element of process algebra, its possibility to compare observable behaviour of different processes. A short overview over different approaches within process algebra concludes the contribution.

AB - This paper presents an introduction to process algebras. In the first part of the contribution we introduce a basic process algebra and give an informal interpretation of its operators. In the second part of the contribution we show how expressions of process algebra can be interpreted as transition systems. Using the robot example of this series the basic concepts are illuminated. We discuss a core element of process algebra, its possibility to compare observable behaviour of different processes. A short overview over different approaches within process algebra concludes the contribution.

KW - EWI-6406

KW - FMT-PA: PROCESS ALGEBRAS

U2 - 10.1524/auto.51.8.A13.34761

DO - 10.1524/auto.51.8.A13.34761

M3 - Article

VL - 51

SP - 13

EP - 16

JO - Automatisierungstechnik

JF - Automatisierungstechnik

SN - 0178-2312

IS - 8

ER -