- A process calculus with finitary comprehended terms
- Number of pages
- Document type
- Faculty of Science (FNWI)
- Informatics Institute (IVI)
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.
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.