A process calculus with finitary comprehended terms

Jan A. Bergstra, C. A. Middelburg. A process calculus with finitary comprehended terms. CoRR, abs/0903.2914, 2009. [doi]

Abstract

Abstract is missing.