3 papers
cs.FL2026
Improving Reachability in Vector Addition Systems through Pumpability
Weijun Chen, Yuxi Fu, Yangluo Zheng
Vector addition systems (VAS) constitute an important model of computation and concurrency that is equally expressive as the Petri net model. Recently, a lot of research has been c…
cs.LO2025
A Unifying Approach to Probabilistic Testing Equivalences
Weijun Chen, Yuxi Fu, Huan Long +1
Probabilistic concurrent systems are foundational models for modern mobile computing. In this paper, a unifying approach to probabilistic testing equivalences is proposed. With the…
cs.PL2025
A Programming Language for Feasible Solutions
Weijun Chen, Yuxi Fu, Huan Long
Runtime efficiency and termination are crucial properties in the studies of program verification. Instead of dealing with these issues in an ad hoc manner, it would be useful to de…