Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] On the relative expressiveness of higher-order session processes
By integrating constructs from the λ-calculus and the π-calculus, in higher-order process
calculi exchanged values may contain processes. This paper studies the relative …
calculi exchanged values may contain processes. This paper studies the relative …
On the power of name-passing communication
Y Fu - 28th International Conference on Concurrency Theory …, 2017 - drops.dagstuhl.de
On the Power of Name-Passing Communication Page 1 On the Power of Name-Passing
Communication ∗ Yuxi Fu BASICS, Shanghai Jiao Tong University, China fu-yx@cs.sjtu.edu.cn …
Communication ∗ Yuxi Fu BASICS, Shanghai Jiao Tong University, China fu-yx@cs.sjtu.edu.cn …
Remark on some variants
J Xue, H Long, Y Fu - International Symposium on Dependable Software …, 2017 - Springer
Two π variants that restrict the use of received names are studied. For either variant the
external characterization of the absolute equality is given using a family of bisimulations; the …
external characterization of the absolute equality is given using a family of bisimulations; the …
On parameterization of higher-order processes
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 …
passing. In this paper, we study two kinds of parameterization: name parameterization and …
Parameterizing higher-order processes on names and processes
X Xu - RAIRO-Theoretical Informatics and Applications, 2019 - rairo-ita.org
Parameterization extends higher-order processes with the capability of abstraction and
application (like those in lambda-calculus). As is well-known, this extension is strict …
application (like those in lambda-calculus). As is well-known, this extension is strict …
Higher-order processes with parameterization over names and processes
X Xu - arxiv preprint arxiv:1608.03126, 2016 - arxiv.org
Parameterization extends higher-order processes with the capability of abstraction and
application (like those in lambda-calculus). This extension is strict, ie, higher-order …
application (like those in lambda-calculus). This extension is strict, ie, higher-order …
On the interactive power of higher-order processes extended with parameterization
This paper investigates the interactive power of the higher-order pi-calculus extended with
parameterization. We study two kinds of parameterization: name parameterization and …
parameterization. We study two kinds of parameterization: name parameterization and …