Abstract
We study a convergence phenomenon in the projective limit model A°° for PA, an axiom
system in the framework of process algebra for processes built from atomic actions by
means of alternative. composition (+) and sequential composition and subject to the
operations 11 (merge) and IL (left-merge). The model A°° is also a
... read more