A process calculus with finitary comprehended terms (Q385508)

The notion of an ACP process algebra based on the axiom system ACP is introduced (there is no need of having constants for each atomic action) as well as the ACP process algebra enriched by data, where the mathematical structure of data is a meadow (it is a field with the multiplicative inverse operation made total by imposing that the multiplicative inverse of zero is zero). For all associative operators from the signature of meadow enriched ACP process algebra that are not of an auxiliary nature, variable-binding operators as generalizations are introduced. It is shown that the use of variable-binding operators that bind variables with a two-valued range can already have a major impact on the size of terms, and that impact can be further increased if an identity element for sequential composition is added. Moreover, it is shown that all variable-binding operators of the calculus associated with meadow enriched ASP process algebra can be eliminated from all terms of the calculus by means of its axioms, and all terms of the calculus can be directly interpreted in meadow enriched ACP process algebra.