Skip to main content

TS

An algebraic treatment of recursion

Authors

Rob van Glabbeek

NICTA

UNSW

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,
    publisher        = {Informatics Institute, University of Amsterdam},
    doi              = { },
    series           = { },
    author           = {van Glabbeek, Robert},
    month            = {dec},
    editor           = {{I. Bethke, B. Bredeweg \& A. Ponse}},
    year             = {2016},
    keywords         = {process algebra, unguarded recursion, denotational semantics, operational semantics, algebraic
                        semantics},
    title            = {An Algebraic Treatment of Recursion},
    booktitle        = {Liber Amicorum for Jan A. Bergstra},
    pages            = {58-59}
  }

Download