Trustworthy Systems

An algebraic treatment of recursion

Authors

Rob van Glabbeek

DATA61

UNSW Sydney

Abstract

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

  @inbook{vanGlabbeek_16,
    address          = {Uppsala, Sweden},
    author           = {van Glabbeek, Robert},
    booktitle        = {Liber Amicorum for Jan Bergstra},
    date             = {2016-12-14},
    editor           = {{Alban Ponse, Inge Bethke \& Bert Bredeweg}},
    keywords         = {Process algebra Recursion Algebraic semantics Denotational semantics Operational semantics},
    month            = dec,
    pages            = {58-59},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/vanGlabbeek_16.pdf},
    publisher        = {University of Amsterdam},
    title            = {An Algebraic Treatment of Recursion},
    year             = {2016}
  }

Download