DeepAI AI Chat
Log In Sign Up

On Decidability of the Bisimilarity on Higher-order Processes with Parameterization

by   Xian Xu, et al.
East China Universtiy of Science and Technology

Higher-order processes with parameterization are capable of abstraction and application (migrated from the lambda-calculus), and thus are computationally more expressive. For the minimal higher-order concurrency, it is well-known that the strong bisimilarity (i.e., the strong bisimulation equality) is decidable in absence of parameterization. By contrast, whether the strong bisimilarity is still decidable for parameterized higher-order processes remains unclear. In this paper, we focus on this issue. There are basically two kinds of parameterization: one on names and the other on processes. We show that the strong bisimilarity is indeed decidable for higher-order processes equipped with both kinds of parameterization. Then we demonstrate how to adapt the decision approach to build an axiom system for the strong bisimilarity. On top of these results, we provide an algorithm for the bisimilarity checking.


page 1

page 2

page 3

page 4


Superposition with Lambdas

We designed a superposition calculus for a clausal fragment of extension...

Higher-Order MSL Horn Constraints

The monadic shallow linear (MSL) class is a decidable fragment of first-...

A Probabilistic Higher-order Fixpoint Logic

We introduce PHFL, a probabilistic extension of higher-order fixpoint lo...

On Bisimulation in Absence of Restriction

We revisit the standard bisimulation equalities in process models free o...

On the influence of over-parameterization in manifold based surrogates and deep neural operators

Constructing accurate and generalizable approximators for complex physic...

Temporally-Continuous Probabilistic Prediction using Polynomial Trajectory Parameterization

A commonly-used representation for motion prediction of actors is a sequ...

Higher Order Kernel Mean Embeddings to Capture Filtrations of Stochastic Processes

Stochastic processes are random variables with values in some space of p...