A process calculus with finitary comprehended terms

Meadow enriched ACP process algebras are essentially enrichments of models of the axiom system ACP that concern processes in which data are involved, the mathematical structure of data being a meadow. For all associative operators from the signature of meadow enriched ACP process algebras, we introduce variable-binding operators as generalizations. These variable-binding operators, which give rise to comprehended terms, have the property that they can always be eliminated. Thus, we obtain a process calculus whose terms can be interpreted in all meadow enriched ACP process algebras. Use of the variable-binding operators that bind variables with a two-valued range can already have a major impact on the size of terms.