Combining data type and recursive process specifications using projection algebras

AbstractIn order to provide an algebraic semantics for recursively defined (nonterminating) processes there is a well-known metric approach leading from process algebras to complete process algebras. In order to obtain an algebraic specification and completion of such algebras, it is sufficient and much more convenient to consider, instead of metric spaces, only spaces with a suitable family of projections, called projection spaces. Projection spaces and algebras are shown to be a suitable basis for an algebraic semantics of combined data type and process specifications