Fixed points in free process algebras. I (Q1822946)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed points in free process algebras. I |
scientific article |
Statements
Fixed points in free process algebras. I (English)
0 references
1989
0 references
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.
0 references
fixed points
0 references
grove
0 references
lattice
0 references
process algebras
0 references
polynomials
0 references