7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.FL2026
3-VASS Reachability is in EXPSPACE
Weijun Chen, Bo Fu, Yuxi Fu +4
A VASS can be viewed as a finite-state automaton manipulating a fixed number (called its dimension) of counters holding non-negative values. The reachability problem, asking whethe…
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.LO2015★ 7 cited
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…