Fixed points in free process algebras. I
The process algebras with constants A, \((P,A,+,\cdot,\delta,\tau)\), of type (2,2,0,0) are considered. The elements of P are called processes and the elements of A are called atomic actions. Let P(A)[X] denote free process algebra with constants A freely generated by the set X. Elements of the set P(A)[X] are called polynomials. The fixed point solutions for systems of iterative equations involving linear left simple polynomials are characterized and explicitly given.
scientific article; zbMATH DE number 4113972