Skip to main content

TS

An algebraic treatment of recursion

Authors

Rob van Glabbeek

DATA61

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_2,
    publisher        = {University of Amsterdam},
    booktitle        = {Liber Amicorum for Jan Bergstra},
    author           = {van Glabbeek, Rob},
    month            = dec,
    editor           = {{Alban Ponse, Inge Bethke \& Bert Bredeweg}},
    keywords         = {process algebra recursion algebraic semantics denotational semantics operational semantics},
    year             = {2016},
    date             = {2016-12-14},
    title            = {An Algebraic Treatment of Recursion},
    type             = {Book Chapter},
    pages            = {58-59},
    address          = {Uppsala, Sweden}
  }

Download

Served by Apache on Linux on seL4.