An Algebraic Treatment of Recursion

Rob van Glabbeek

doi:10.48550/arXiv.1702.07838

An Algebraic Treatment of Recursion

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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.

Original language	English
Title of host publication	Liber Amicorum for Jan A. Bergstra
Editors	I. Bethke, B. Bredeweg, A. Ponse
Publisher	University of Amsterdam
Pages	58-59
Number of pages	2
DOIs	https://doi.org/10.48550/arXiv.1702.07838
Publication status	Published - 2016

Access to Document

10.48550/arXiv.1702.07838Licence: Creative Commons: Attribution (CC-BY)

http://arxiv.org/abs/1702.07838Licence: Creative Commons: Attribution (CC-BY)

Cite this

@inbook{eb95f049c1e14ef090c8d14e280ef266,

title = "An Algebraic Treatment of Recursion",

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. ",

author = "\{van Glabbeek\}, Rob",

year = "2016",

doi = "10.48550/arXiv.1702.07838",

language = "English",

pages = "58--59",

editor = "I. Bethke and B. Bredeweg and A. Ponse",

booktitle = "Liber Amicorum for Jan A. Bergstra",

publisher = "University of Amsterdam",

}

TY - CHAP

T1 - An Algebraic Treatment of Recursion

AU - van Glabbeek, Rob

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

U2 - 10.48550/arXiv.1702.07838

DO - 10.48550/arXiv.1702.07838

M3 - Chapter

SP - 58

EP - 59

BT - Liber Amicorum for Jan A. Bergstra

A2 - Bethke, I.

A2 - Bredeweg, B.

A2 - Ponse, A.

PB - University of Amsterdam

ER -