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