Abstract
study extensions of the process algebra axiom system ACP with two recursive operations: the binary Kleene star *, which is defined by x*y = x(x*y)+ y, and the push-down operation $, defined by x$y = x((x$y)(x$y))= y. In this setting it is easy to represent register machine computation, and an
... read more