Asynchronous process calculi: the first- and higher-order paradigms

Davide Sangiorgi. Asynchronous process calculi: the first- and higher-order paradigms. Theoretical Computer Science, 253(2):311-350, 2001. [doi]

Abstract

Abstract is missing.