Parameterizing higher-order processes on names and processes

Xian Xu 0001. Parameterizing higher-order processes on names and processes. ITA, 53(3-4):153-206, 2019. [doi]

Abstract

Abstract is missing.