2 papers
cs.LO2024
Analyzing Divergence for Nondeterministic Probabilistic Models
Hao Wu, Yuxi Fu, Huan Long +2
Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic system…
cs.LO2021
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…