An Algebraic Treatment of Recursion
arXiv:1702.07838
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.
Dedicated to Jan Bergstra, at the occasion of his 65th birthday and retirement