7 citations · 19 across the 6 of their papers we have counts for
6 papers
On Bisimulation in Absence of Restriction
Xian Xu
We revisit the standard bisimulation equalities in process models free of the restriction operator. As is well-known, in general the weak bisimilarity is coarser than the strong bi…
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization
Xian Xu, Wenbo Zhang
Higher-order processes with parameterization are capable of abstraction and application (migrated from the lambda-calculus), and thus are computationally more expressive. For the m…
Trees from Functions as Processes
Davide Sangiorgi, Xian Xu
Levy-Longo Trees and Bohm Trees are the best known tree structures on the λ-calculus. We give general conditions under which an encoding of the λ-calculus into the π-calculus is so…
Higher-order Processes with Parameterization over Names and Processes
Xian Xu
Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus). This extension is strict, i.e., higher-order pro…
On the Computation Power of Name Parameterization in Higher-order Processes
Xian Xu, Qiang Yin, Huan Long
Parameterization extends higher-order processes with the capability of abstraction (akin to that in lambda-calculus), and is known to be able to enhance the expressiveness. This pa…
On Context Bisimulation for Parameterized Higher-order Processes
Xian Xu
This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes wit…