This is a paper on distinguishing and relating two important kinds of calculi through
expressiveness, settling some critical but long unanswered questions. The delimitation of …

This paper studies higher-order processes with the capability of parameterization (or
abstraction), which has been proven to be an effective measure of lifting the mere process …

Parameterization provides an effective way to improve on the expressiveness of process-
passing. In this paper, we study two kinds of parameterization: name parameterization and …

Modal logic characterization in a higher-order setting is usually not a trivial task because
higher-order process-passing is quite different from first-order name-passing. We study the …

The aim of this paper is to introduce a concept of subnet with input and output places,
especially, the specific class of the functional subnet and to construct a formal methods for …