Prozessalgebra, Teil 2

    Research output: Contribution to journalArticleProfessional


    This paper is the second part of an introduction to process algebras. In the first part of the contribution we introduced a basic process algebra and gave 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)17-20
    Number of pages4
    Issue number9
    Publication statusPublished - 2003


    • EWI-6407

    Cite this