Trustworthy Systems

An algebraic treatment of recursion


Rob van Glabbeek


UNSW Sydney


I review the three principal methods to assign meaning to recursion in process algebra: the denotational, the operational and the algebraic approach, and I extend the latter to unguarded recursion.

BibTeX Entry

    address          = {Uppsala, Sweden},
    author           = {van Glabbeek, Robert},
    booktitle        = {Liber Amicorum for Jan Bergstra},
    date             = {2016-12-14},
    keywords         = {Process algebra Recursion Algebraic semantics Denotational semantics Operational semantics},
    month            = dec,
    pages            = {58-59},
    paperurl         = {},
    publisher        = {University of Amsterdam},
    title            = {An Algebraic Treatment of Recursion},
    year             = {2016}