Prozessalgebra, Teil 1

Translated title of the contribution: Process algebra, Part 1

E. Brinksma, A.H. Mader

    Research output: Contribution to journalArticleAcademicpeer-review

    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 languageGerman
    Pages (from-to)A13-A16
    JournalAutomatisierungstechnik
    Volume51
    Issue number8
    DOIs
    Publication statusPublished - 2003

    Fingerprint Dive into the research topics of 'Process algebra, Part 1'. Together they form a unique fingerprint.

  • Cite this