A home automation system means monitoring and controlling various kinds of devices in the
home remotely using the Internet of things (IoT). Technologies such as natural language …

We present the first formalization of Milner's classic translation of the λ-calculus into the π-
calculus. It is a challenging result with respect to variables, names, and binders, as it …

Higher-order processes with parameterization are capable of abstraction and application
(migrated from the lambda-calculus), and thus are computationally more expressive. For the …

This paper investigates the interactive power of the higher-order pi-calculus extended with
parameterization. We study two kinds of parameterization: name parameterization and …

The bisimulation proof method is a landmark of the theory of concurrency and programming
languages: it is a proof technique used to establish that two programs, or two distributed …

HOcore is a minimal higher-order process calculus inspired of HOπ. It is minimal in the
sense that it remains Turing-complete [3], although it does not have any name restriction. It …