Abstract

The basic polarized process algebra is completed yielding
as a projective limit a cpo which also comprises infinite processes. It
is shown that this model serves in a natural way as a semantics for
several program algebras. In particular, the fully abstract model of the
program algebra axioms of [2] is considered which results
... read more